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

einwertige Relation (SingleValuedRelation)

A Relation is a SingleValuedRelation just in case an assignment of values to every argument position except the last one determines at most one assignment for the last argument position. Note that not all SingleValuedRelations are total functions. To declare that a Relation is a total function, use both SingleValuedFunction and TotalValuedFunction.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  einwertige Relation  

Superclass(es)

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

Instance(s)

valenz  einzigartigerBezeichner  alter  breite  abstand  altitude  depth  finanzielleWert  datum  mutter  vater 

Subclass(es)

Funktion 

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  fünfwertige Relation  Relation erweitert auf Quantitäten  räumliche Relation  zeitliche Relation  dreistellige Funktion  dreistellige Prädikat  dreiwertige Relation  totalwertige Relation  einstellige Funktion  Relation mit veränderlicher Anzahl Argumente 

Axioms (1)

rel ist ein fall von einwertige Relation nur wenn für jeden ,item1,item2 gilt: wenn rel(,item1) gilt und rel(,item2) gilt , dann item1 ist gleich item2 . 
(<=>
      (instance ?REL SingleValuedRelation)
      (forall
            (@ROW ?ITEM1 ?ITEM2)
            (=>
                  (and
                        (holds ?REL @ROW ?ITEM1)
                        (holds ?REL @ROW ?ITEM2))
                  (equal ?ITEM1 ?ITEM2))))