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 585-588 | |
(documentation partition JapaneseLanguage "Class C の partition は 相互に disjoint クラス(サブクラスパーティション)で、C をカバーする。Cのすべてのインスタンスは、パーティション 内の正確な1つのサブクラスのインスタンスである。") | japanese_format.kif 82-84 | |
(documentation partition SpanishLanguage "Una partition de una Class C es un conjunto de clases mutuamente disjoint (una partición de la subclase) en la que cubre a C. Cada instancia de C es exactamente una de las subclases en la partición.") | spanish_format.kif 94-96 | |
(domain partition 1 Class) | Merge.kif 582-582 | Die Zahl 1 Argument von partition ist ein fall von Class %n{nicht} |
(domain partition 2 Class) | Merge.kif 583-583 | Die Zahl 2 Argument von partition ist ein fall von Class %n{nicht} |
(instance partition Predicate) | Merge.kif 580-580 | partition ist ein fall von Predicate %n{nicht} |
(instance partition VariableArityRelation) | Merge.kif 581-581 | partition ist ein fall von VariableArityRelation %n{nicht} |
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 316-316 | |
(format FrenchLanguage partition "%1 est %n compl�tement d�compos� en %*{2-}[,]") | french_format.kif 178-178 | |
(format ItalianLanguage partition "%1 è %n esaustivamente partizionato in %*{2-}[,]") | relations-it.txt 213-213 | |
(format JapaneseLanguage partition "%1 は %*{2-}[,] に exhaustively partitioned %n") | japanese_format.kif 1998-1998 | |
(format PortugueseLanguage partition "o conceito %1 e' %n completamente decomposto em %*{2-}[,]") | portuguese_format.kif 130-130 | |
(format cz partition "%1 %p{je} %n{nen�} exhaustively partitioned into %*{2-}[,]") | relations-cz.txt 187-187 | |
(format de partition "%1 wird vollstaendig in %*{2-}[,] verteilt") | relations-de.txt 408-408 | |
(format hi partition "%1 %*{2-}[,] men sarvasamaaveshita ruupa se vibhaajita %n hai") | relations-hindi.txt 251-251 | |
(format ro partition "%1 %n{nu} este partitioned%t{partiþionatã} exhaustively%t{exhaustiv} în %*{2-}[,]") | relations-ro.kif 198-198 | |
(format sv partition "%1 är %n{inte} partiellt delad i %*{2-}[,]") | relations-sv.txt 188-188 | |
(format tg partition "%1 %n ay ang ari-arian ng %*{2-}[,]") | relations-tg.txt 405-405 | |
(relatedInternalConcept exhaustiveDecomposition partition) | Merge.kif 550-550 | exhaustiveDecomposition ist innerlich verwandt mit partition %n{nicht} |
(termFormat ChineseLanguage partition "划分") | chinese_format.kif 312-312 | |
(termFormat ChineseTraditionalLanguage partition "劃分") | domainEnglishFormat.kif 44569-44569 | |
(termFormat EnglishLanguage partition "partition") | domainEnglishFormat.kif 44568-44568 |
antecedent |
(=> (and (partition ?SUPER ?SUB1 ?SUB2) (instance ?INST ?SUPER) (not (instance ?INST ?SUB1))) (instance ?INST ?SUB2)) |
Merge.kif 606-612 |
|
(=> (partition ?SUPER ?SUB1 ?SUB2) (partition ?SUPER ?SUB2 ?SUB1)) |
Merge.kif 602-604 |
|
(=> (partition @ROW) (and (exhaustiveDecomposition @ROW) (disjointDecomposition @ROW))) |
Merge.kif 590-594 |
|
consequent |
(=> (and (exhaustiveDecomposition @ROW) (disjointDecomposition @ROW)) (partition @ROW)) |
Merge.kif 596-600 |
|
(=> (partition ?SUPER ?SUB1 ?SUB2) (partition ?SUPER ?SUB2 ?SUB1)) |
Merge.kif 602-604 |
|
appearance as argument number 0 |