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

viewwertige Relation (QuaternaryRelation)

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

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  viewwertige Relation  

Superclass(es)

[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Relation  
is subclass of
  viewwertige Relation  

Subclass(es)

dreistellige Funktion  vierstellige 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  fünfstellige Prädikat  fünfwertige Relation  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 viewwertige Relation , dann es gibt kein item1,item2,item3,item4,item5, der rel(item1,item2,item3,item4,item5,) gilt . 
(=>
      (instance ?REL QuaternaryRelation)
      (not
            (exists
                  (?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW)
                  (holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW))))