| appearance as argument number 1 |
|
| (documentation partition ChineseLanguage "C Class 的 partition 是一组包括C，而互不 disjoint 的类别 （一个子类别的分区)。C的每一个实例正正是这个分区子类别的一个实例。") | chinese_format.kif 1517-1518 | |
| (documentation partition EnglishLanguage "A partition of a Class C is a set of mutually disjoint classes (a subclass partition) which covers C. Every instance of C is an instance of exactly one of the subclasses in the partition.") | Merge.kif 585-588 | |
| (domain partition 1 Class) | Merge.kif 582-582 | 划分 的 1 数量 是 类 的 instance |
| (domain partition 2 Class) | Merge.kif 583-583 | 划分 的 2 数量 是 类 的 instance |
| (instance partition Predicate) | Merge.kif 580-580 | 划分 是 谓语 的 instance |
| (instance partition VariableArityRelation) | Merge.kif 581-581 | 划分 是 不定次元关系 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage partition "%1 %n 详尽无遗地 partition 成 %*{2-}[,]") | chinese_format.kif 311-311 | |
| (format EnglishLanguage partition "%1 is %n exhaustively partitioned into %*{2-}[,]") | english_format.kif 319-319 | |
| (relatedInternalConcept exhaustiveDecomposition partition) | Merge.kif 550-550 | 彻底的分拆 和 划分 是 内部相关 |
| (termFormat ChineseLanguage partition "划分") | chinese_format.kif 312-312 | |
| (termFormat ChineseTraditionalLanguage partition "劃分") | domainEnglishFormat.kif 44481-44481 | |
| (termFormat EnglishLanguage partition "partition") | domainEnglishFormat.kif 44480-44480 |
| antecedent |
|
|
| (<=> (partition @ROW) (and (exhaustiveDecomposition @ROW) (disjointDecomposition @ROW))) |
Merge.kif 590-594 | @ROW 详尽无遗地 partition 成 @ROW 若且唯若 @ROW 涵盖 @ROW 和 @ROW 分拆成不相交的 @ROW |
| appearance as argument number 0 |
|
|
|
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