Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

Hlavní stránka

predikát se čtyřmi argumenty (QuaternaryPredicate)

The Class of Predicates that require four arguments.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

is instance of

inheritable relation

is instance of

predikát se čtyřmi argumenty

Nadtřída(y)

[tree]

is subclass of

is subclass of

relace

is subclass of

predikát

is subclass of

[tree]

is subclass of

is subclass of

relace

is subclass of

relace se čtyřmi argumenty
is subclass of

is subclass of

is subclass of

predikát se čtyřmi argumenty

Související termín(y)

binární funkce binární predikát binární relace case role funkce intentional relation logický operátor postoj k objektu predikát pravděpodobnostní relace postoj k tvrzení funkce se čtyřmi argumenty relace se čtyřmi argumenty predikát s pěti argumenty relace s pěti argumenty relace rozšířená na veličiny relace s jedinou hodnotou prostorová relace časová relace funkce se třemi argumenty predikát se třemi argumenty terciální relace unární funkce

Axiomy (1)

Jestliže rel je instancí třídy predikát se čtyřmi argumenty, potom rel has argument(s).

(=>
      (instance ?REL QuaternaryPredicate)
      (valence ?REL 4))