total valued 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.
SUMO / BASE-ONTOLOGY
partial valued relation
relation extended to quantities
single valued relation
variable arity relation
relation is exhaustively partitioned into total valued relation,partial valued relation.
(partition Relation TotalValuedRelation PartialValuedRelation)
rel is an instance of total valued relation if and only if there exists valence so that rel is an instance of relation and rel %&has valence argument(s) and
- if for all number,element,class holds: if number is less than valence and the number number argument of rel is an instance of class and element is equal to "numberth element of "()"", then element is an instance of class,
- then there exists item so that rel(,item) holds.
(instance ?REL TotalValuedRelation)
(instance ?REL Relation)
(valence ?REL ?VALENCE)
(?NUMBER ?ELEMENT ?CLASS)
(lessThan ?NUMBER ?VALENCE)
(domain ?REL ?NUMBER ?CLASS)
(instance ?ELEMENT ?CLASS)))
(holds ?REL @ROW ?ITEM))))))