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

relace s pěti argumenty (QuintaryRelation)

QuintaryRelations relate five items. The two subclasses of QuintaryRelation are QuintaryPredicate and QuaternaryFunction.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  relace s pěti argumenty  

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  relace s pěti argumenty  

Podtřída(y)

funkce se čtyřmi argumenty  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  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  relace se čtyřmi argumenty  predikát 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 s pěti argumenty, potom neexistují item1,item2,item3,item4,item5,item6, tak, že rel(item1,item2,item3,item4,item5,item6,) holds. 
(=>
      (instance ?REL QuintaryRelation)
      (not
            (exists
                  (?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW)
                  (holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW))))