Relation (Relation)

The Class of relations. There are three kinds of Relation: Predicate, Function, and List. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators. A List, on the other hand, is a particular ordered n-tuple.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

Wesen

abstrakter Gegenstand

Relation

Subclass(es)

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

Coordinate term(s)

Attribut Graph Graphelement Proposition Eigenschaft Menge oder Kategorie

Constrains relations

definitionsbereich definitionsbereichteilkategorie gilt teilrelation valenz

Related WordNet synsets

relation: an abstraction belonging to or characteristic of two entities or parts together
relationship, human relationship: (`relationship' is often used where `relation' would serve (as in "the relationship between inflation and unemployment")) preferred usage of `relationship' is for human relations or states of relatedness; "the relationship between mothers and children"
relational: having a relation or being related

See more related synsets on a separate page.

Axioms (6)

Wenn und ? werden disjunkt und rel ist ein Mitglied von "()", dann rel ist ein fall von Relation .

(=>
      (and
            (disjointRelation @ROW)
            (inList
                  ?REL
                  (ListFn @ROW)))
      (instance ?REL Relation))

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)

Relation wird vollständig in Prädikat,Funktion,Liste verteilt.

(partition Relation Predicate Function List)

Relation wird vollständig in totalwertige Relation,teilwertige Relation verteilt.

(partition Relation TotalValuedRelation PartialValuedRelation)

Wenn rel ist ein fall von Relation , dann rel() gilt nur wenn rel() gilt.

(=>
      (instance ?REL Relation)
      (<=>
            (holds ?REL @ROW)
            (?REL @ROW)))

rel ist ein fall von totalwertige Relation nur wenn es gibt ein valence der rel ist ein fall von Relation und rel hat valence argument(e) und

wenn für jeden number,element,class gilt: wenn number ist kleinerAls valence und die Zahl number Argument von rel ist ein fall von class und element ist gleich "numberte mitglied von "()"" , dann element ist ein fall von class ,
dann es gibt ein item der rel(,item) gilt

(<=>
      (instance ?REL TotalValuedRelation)
      (exists
            (?VALENCE)
            (and
                  (instance ?REL Relation)
                  (valence ?REL ?VALENCE)
                  (=>
                        (forall
                              (?NUMBER ?ELEMENT ?CLASS)
                              (=>
                                    (and
                                          (lessThan ?NUMBER ?VALENCE)
                                          (domain ?REL ?NUMBER ?CLASS)
                                          (equal
                                                ?ELEMENT
                                                (ListOrderFn
                                                      (ListFn @ROW)
                                                      ?NUMBER)))
                                    (instance ?ELEMENT ?CLASS)))
                        (exists
                              (?ITEM)
                              (holds ?REL @ROW ?ITEM))))))