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

Relation mit veränderlicher Anzahl Argumente (VariableArityRelation)

The Class of Relations that do not have a fixed number of arguments.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Relation  
is subclass of
  Relation mit veränderlicher Anzahl Argumente  

Instance(s)

disjunkteRelation  konträresAttribut  exhaustive attribute  vollständigeAufspaltung  disjunkteAufspaltung  fach  AssignmentFn  gilt  ListeFn  GrössteGemeinsamerTeilerFn  KleinsteGemeinsameVielfacheFn 

Coordinate term(s)

zweiwertige Relation  Liste  teilwertige Relation  Prädikat  Wahrscheinlichkeitsrelation  viewwertige Relation  fünfwertige Relation  Relation erweitert auf Quantitäten  einwertige Relation  räumliche Relation  zeitliche Relation  dreiwertige Relation  totalwertige Relation 

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 Relation mit veränderlicher Anzahl Argumente , dann es gibt kein int der rel hat int argument(e). 
(=>
      (instance ?REL VariableArityRelation)
      (not
            (exists
                  (?INT)
                  (valence ?REL ?INT))))