partition |
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 586-589 | |
(domain partition 1 Class) | Merge.kif 583-583 | |
(domain partition 2 Class) | Merge.kif 584-584 | |
(instance partition Predicate) | Merge.kif 581-581 | |
(instance partition VariableArityRelation) | Merge.kif 582-582 |
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 551-551 | |
(termFormat ChineseLanguage partition "划分") | chinese_format.kif 312-312 | |
(termFormat ChineseTraditionalLanguage partition "劃分") | domainEnglishFormat.kif 44556-44556 | |
(termFormat EnglishLanguage partition "partition") | domainEnglishFormat.kif 44555-44555 |
antecedent |
![]() |
(<=> (partition @ROW) (and (exhaustiveDecomposition @ROW) (disjointDecomposition @ROW))) |
Merge.kif 591-595 |
appearance as argument number 0 |
![]() |
![]() |
![]() |