| 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 2221-2226 | |
| (documentation PartialValuedRelation JapaneseLanguage "Relation は それが TotalValuedRelation でない場合に備え、PartialValuedRelation である。つまり、最後の引数を除くすべての引数の位置に値を割り当てる場合に備えて、必ずしも最後の引数 位置に値の割り当てがあるとは限らない。Relation が PartialValuedRelation と SingleValuedRelation の両方である場合、それは部分的な関数である。") | japanese_format.kif 446-450 | |
| (subclass PartialValuedRelation Relation) | Merge.kif 2219-2219 | 部分的価値関係 は 関係 の subclass では |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition Relation TotalValuedRelation PartialValuedRelation) | Merge.kif 2159-2159 | 関係 は 合計値関係 + 部分的価値関係 に exhaustively partitioned |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners