Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

relace se čtyřmi argumenty (QuaternaryRelation)

QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are QuaternaryPredicate and TernaryFunction.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  relace se čtyřmi argumenty  

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  relace se čtyřmi argumenty  

Podtřída(y)

funkce se třemi argumenty  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  seznam  postoj k objektu  neúplná relace  predikát  pravděpodobnostní relace  postoj k tvrzení  funkce se čtyřmi argumenty  predikát 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  úplná relace  unární funkce  relace s proměnným počtem argumentů 

Axiomy (2)

relace je disjointly decomposed into binární relace,terciální relace,relace se čtyřmi argumenty,relace s pěti argumenty,relace s proměnným počtem argumentů. 
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)
Jestliže rel je instancí třídy relace se čtyřmi argumenty, potom neexistují item1,item2,item3,item4,item5, tak, že rel(item1,item2,item3,item4,item5,) holds. 
(=>
      (instance ?REL QuaternaryRelation)
      (not
            (exists
                  (?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW)
                  (holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW))))