Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

fünfwertige Relation (QuintaryRelation)

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

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  fünfwertige Relation  

Superclass(es)

[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Relation  
is subclass of
  fünfwertige Relation  

Subclass(es)

vierstellige funktion  fünfstellige Prädikat 

Coordinate term(s)

zweistellige Funktion  zweistellige Prädikat  zweiwertige Relation  Fallrolle  Funktion  intentional relation  Liste  Gegenstandeinstellung  teilwertige Relation  Prädikat  Wahrscheinlichkeitsrelation  propositionale Einstellung  vierstellige funktion  vierstellige Prädikat  viewwertige Relation  fünfstellige Prädikat  Relation erweitert auf Quantitäten  einwertige Relation  räumliche Relation  zeitliche Relation  dreistellige Funktion  dreistellige Prädikat  dreiwertige Relation  totalwertige Relation  einstellige Funktion  Relation mit veränderlicher Anzahl Argumente 

Axioms (2)

Relation wird zusammenhanglos auf zweiwertige Relation,dreiwertige Relation,viewwertige Relation,fünfwertige Relation,Relation mit veränderlicher Anzahl Argumente disjunkt. 
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)
Wenn rel ist ein fall von fünfwertige Relation , dann es gibt kein item1,item2,item3,item4,item5,item6, der rel(item1,item2,item3,item4,item5,item6,) gilt . 
(=>
      (instance ?REL QuintaryRelation)
      (not
            (exists
                  (?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW)
                  (holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW))))