| appearance as argument number 1 |
|
| (documentation partition ChineseLanguage "C Class 的 partition 是一组包括C，而互不 disjoint 的类别 （一个子类别的分区)。C的每一个实例正正是这个分区子类别的一个实例。") | Merge.kif 630-631 | |
| (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 626-629 | |
| (domain partition 1 Class) | Merge.kif 624-624 | |
| (domain partition 2 Class) | Merge.kif 625-625 | |
| (instance partition Predicate) | Merge.kif 622-622 | |
| (instance partition VariableArityRelation) | Merge.kif 623-623 |
| 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 188-188 | |
| (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 PortugueseLanguage partition "o conceito %1 e' %n completamente decomposto em %*{2-}[,]") | portuguese_format.kif 130-130 | |
| (format ar partition "%1 هو %n بِالكَامِل مُجَزَّأ إلى %*{2-}[']") | arabic_format.kif 123-123 | |
| (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 tg partition "%1 %n ay ang ari-arian ng %*{2-}[,]") | relations-tg.txt 405-405 | |
| (relatedInternalConcept exhaustiveDecomposition partition) | Merge.kif 588-588 | |
| (termFormat ChineseLanguage partition "划分") | chinese_format.kif 312-312 | |
| (termFormat EnglishLanguage partition "partition") | domainEnglishFormat.kif 7848-7848 | |
| (termFormat ar partition "«بِالكَامِل مُجَزَّأ إلى»") | arabic_format.kif 573-573 |
| antecedent |
|
|
| (<=> (partition @ROW) (and (exhaustiveDecomposition @ROW) (disjointDecomposition @ROW))) |
Merge.kif 633-637 |
| 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners