totalwertige Relation (TotalValuedRelation)

A Relation is a TotalValuedRelation just in case there exists an assignment for the last argument position of the Relation given any assignment of values to every argument position except the last one. Note that declaring a Relation to be both a TotalValuedRelation and a SingleValuedRelation means that it is a total function.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

Wesen

abstrakter Gegenstand

Relation

totalwertige Relation

Instance(s)

&%dauer von %1 ist %2 %n{nicht}

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 Relation mit veränderlicher Anzahl Argumente

Axioms (2)

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

(partition Relation TotalValuedRelation PartialValuedRelation)

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))))))