Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TotalValuedRelation(total valued relation) |
| appearance as argument number 1 |
|
| (subclass TotalValuedRelation Relation) | Merge.kif 2304-2304 | Total valued relation is a subclass of relation |
| (subclass TotalValuedRelation InheritableRelation) | Merge.kif 2305-2305 | Total valued relation is a subclass of inheritable relation |
| (documentation TotalValuedRelation EnglishLanguage "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.") | Merge.kif 2307-2311 | Total valued relation is a subclass of inheritable relation |
| appearance as argument number 2 |
|
|
|