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

Hlavní stránka

predikát se třemi argumenty (TernaryPredicate)

The Class of Predicates that require exactly three arguments.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

is instance of

inheritable relation

is instance of

predikát se třemi 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

terciální relace
is subclass of

is subclass of

is subclass of

predikát se třemi argumenty

Instance(s)

domain domain subclass related external concept conditional probability prefers capability has purpose for agent confers right confers obligation between represents for agent represents in language links distance altitude depth temporally between temporally between or equal connects orientation occupies position

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 predikát 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 terciální relace unární funkce

Axiomy (1)

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

(=>
      (instance ?REL TernaryPredicate)
      (valence ?REL 3))