|
|
   SingleValuedRelation
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SingleValuedRelation ChineseLanguage "一个 Relation是 SingleValuedRelation 以确保除了最后一个参数之外，每一个参数的位置只有一个赋值，而最后的参数 顶多可以决定最后一个参数的位置。注：不是所有的 SingleValuedRelation 都是 TotalValuedRelation。") | chinese_format.kif 1820-1822 | |
| (documentation SingleValuedRelation EnglishLanguage "A Relation is a SingleValuedRelation just in case an assignment of values to every argument position except the last one determines at most one assignment for the last argument position. Note that not all SingleValuedRelations are TotalValuedRelations.") | Merge.kif 2166-2169 | |
| (documentation SingleValuedRelation JapaneseLanguage "Relation は、 SingleValuedRelation で、最後の引数位置を除くすべての引数位置に値を割り当てるだけで、最後の 引数位置に対して最も 1 つの割り当てを決定する場合に備えてる。 注：すべての SingleValuedRelation が TotalValuedRelation ではない。") | japanese_format.kif 438-441 | |
| (subclass SingleValuedRelation InheritableRelation) | Merge.kif 2164-2164 | |
| (subclass SingleValuedRelation Relation) | Merge.kif 2163-2163 |
| appearance as argument number 2 |
|
|
|
|
|