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

Hlavní stránka

binární predikát (BinaryPredicate)

A Predicate relating two items - its valence is two.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

is instance of

inheritable relation

is instance of

binární predikát

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

binární relace
is subclass of

is subclass of

is subclass of

binární predikát

Instance(s)

instance inverse subclass subrelation equal range range subclass valence documentation disjoint related internal concept sub attribute successor attribute successor attribute closure material sub collection contains information property less than greater than less than or equal to greater than or equal to increases likelihood decreases likelihood independent probability in scope of interest in list sub list initial list closed on reflexive on irreflexive on partial ordering on total ordering on trichotomizing on equivalence relation on distributes causes causes subclass copy time holds during exploits has purpose has skill holds right holds obligation partly located possesses precondition inhibits prevents refers subsumes content class subsumes content instance expressed in language sub proposition uses identity element element graph part sub graph path length arc weight measure larger smaller duration frequency temporal part starts finishes before or equal overlaps temporally meets temporally earlier cooccur date connected hole sub process developmental form inhabits parent sibling authors editor publishes version family relation employs citizen faces modal attribute

Podtřída(y)

Související termín(y)

antisymetrická relace binární funkce binární relace case role funkce intentional relation netranzitivní relace ireflexivní relace 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 reflexivní relace relace rozšířená na veličiny relace s jedinou hodnotou prostorová relace symetrická relace časová relace funkce se třemi argumenty predikát se třemi argumenty terciální relace tranzitivní relace trichotomická relace unární funkce

Axiomy (1)

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

(=>
      (instance ?REL BinaryPredicate)
      (valence ?REL 2))