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

Hlavní stránka

predikát s pěti argumenty (QuintaryPredicate)

The Class of Predicates that require five arguments.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

is instance of

inheritable relation

is instance of

predikát s pěti 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 s pěti argumenty
is subclass of

is subclass of

is subclass of

predikát s pěti 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 predikát se čtyřmi argumenty relace se čtyřmi 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 s pěti argumenty, potom rel has argument(s).

(=>
      (instance ?REL QuintaryPredicate)
      (valence ?REL 5))