|
|
   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 2261-2266 | |
| (documentation PartialValuedRelation JapaneseLanguage "Relation は それが TotalValuedRelation でない場合に備え、PartialValuedRelation である。つまり、最後の引数を除くすべての引数の位置に値を割り当てる場合に備えて、必ずしも最後の引数 位置に値の割り当てがあるとは限らない。Relation が PartialValuedRelation と SingleValuedRelation の両方である場合、それは部分的な関数である。") | japanese_format.kif 446-450 | |
| (subclass PartialValuedRelation Relation) | Merge.kif 2259-2259 | Partial valued relation is a subclass of relation |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition Relation TotalValuedRelation PartialValuedRelation) | Merge.kif 2199-2199 | Relation is exhaustively partitioned into total valued relation and partial valued relation |
|
|
|