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

vierstellige Prädikat (QuaternaryPredicate)

The Class of Predicates that require four arguments.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  vierstellige Prädikat  

Superclass(es)

[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Relation  
is subclass of
  Prädikat  
is subclass of
[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Relation  
is subclass of
  viewwertige Relation  
is subclass of
is subclass of
  vierstellige Prädikat  

Coordinate term(s)

zweistellige Funktion  zweistellige Prädikat  zweiwertige Relation  Fallrolle  Funktion  intentional relation  logischer Operator  Gegenstandeinstellung  Prädikat  Wahrscheinlichkeitsrelation  propositionale Einstellung  vierstellige funktion  viewwertige Relation  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  einstellige Funktion 

Axioms (1)

Wenn rel ist ein fall von vierstellige Prädikat , dann rel hat argument(e). 
(=>
      (instance ?REL QuaternaryPredicate)
      (valence ?REL 4))