Simple Knowledge base Browser - PartialValuedRelation

Simple Browser : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

Sigma KEE - PartialValuedRelation

KB Term:

PartialValuedRelation

A Relation is a PartialValuedRelation just in case it is not a TotalValuedRelation, i.e. just in case assigning values to every argument position except the last one does not necessarily mean that there is a value assignment for the last argument position. Note that, if a Relation is both a PartialValuedRelation and a SingleValuedRelation, then it is a partial function.

Relationships
Parents	Relation	The Class of relations. There are two kinds of Relation: Predicate and Function. 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.