|
|
   PartialValuedRelation
|
|
|
| appearance as argument number 1 |
|
|
| (documentation PartialValuedRelation ChineseLanguage "一个 Relation 是 PartialValuedRelation 是为了确保它不是一个 TotalValuedRelation，也就是说除了最后一个之外给每一个 参数位置分配一个值，但这不一定等于已经为最后一个参数位置设定赋值。注：如果一个 Relation既是 PartialValuedRelation 又是 SingleValuedRelation的话，那么它就是一个部分函数。") | chinese_format.kif 1827-1830 | |
| (documentation PartialValuedRelation EnglishLanguage "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.") | Merge.kif 2202-2207 | |
| (subclass PartialValuedRelation Relation) | Merge.kif 2200-2200 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition Relation TotalValuedRelation PartialValuedRelation) | Merge.kif 2140-2140 |
|
|
|