| appearance as argument number 1 |
|
| s__documentation(s__partition__m,s__ChineseLanguage,'C Class 的 partition 是一组包括C，而互不 disjoint 的类别 （一个子类别的分区)。C的每一个实例正正是这个分区子类别的一个实例。')
|
Merge.kif 628-629 | |
| s__documentation(s__partition__m,s__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 624-627 | |
| s__domain(s__partition__m,1,s__Class)
|
Merge.kif 622-622 | The number 1 argument of partition is an instance of class |
| s__domain(s__partition__m,2,s__Class)
|
Merge.kif 623-623 | The number 2 argument of partition is an instance of class |
| s__instance(s__Predicate,s__SetOrClass) s__instance(s__partition__m,s__Predicate)
|
Merge.kif 620-620 | partition is an instance of predicate |
| s__instance(s__VariableArityRelation,s__SetOrClass) s__instance(s__partition__m,s__VariableArityRelation)
|
Merge.kif 621-621 | partition is an instance of variable arity relation |
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__partition__m,'%1 %n 详尽无遗地 partition 成 %*{2-}[,]')
|
chinese_format.kif 311-311 | |
| s__format(s__EnglishLanguage,s__partition__m,'%1 is %n exhaustively partitioned into %*{2-}[,]')
|
english_format.kif 188-188 | |
| s__format(s__FrenchLanguage,s__partition__m,'%1 est %n compl�tement d�compos� en %*{2-}[,]')
|
french_format.kif 178-178 | |
| s__format(s__ItalianLanguage,s__partition__m,'%1 � %n esaustivamente partizionato in %*{2-}[,]')
|
relations-it.txt 213-213 | |
| s__format(s__PortugueseLanguage,s__partition__m,'o conceito %1 e %n completamente decomposto em %*{2-}[,]')
|
portuguese_format.kif 130-130 | |
| s__format(s__ar__m,s__partition__m,'%1 هو %n بِالكَامِل مُجَزَّأ إلى %*{2-}[]')
|
arabic_format.kif 123-123 | |
| s__format(s__cz__m,s__partition__m,'%1 %p{je} %n{nen�} exhaustively partitioned into %*{2-}[,]')
|
relations-cz.txt 187-187 | |
| s__format(s__de__m,s__partition__m,'%1 wird vollstaendig in %*{2-}[,] verteilt')
|
relations-de.txt 408-408 | |
| s__format(s__hi__m,s__partition__m,'%1 %*{2-}[,] men sarvasamaaveshita ruupa se vibhaajita %n hai')
|
relations-hindi.txt 251-251 | |
| s__format(s__tg__m,s__partition__m,'%1 %n ay ang ari-arian ng %*{2-}[,]')
|
relations-tg.txt 405-405 | |
| s__relatedInternalConcept(s__exhaustiveDecomposition__m,s__partition__m)
|
Merge.kif 586-586 | exhaustive decomposition is internally related to partition |
| s__termFormat(s__ChineseLanguage,s__partition__m,'划分')
|
chinese_format.kif 312-312 | "划分" is the printable form of partition in ChineseLanguage |
| s__termFormat(s__EnglishLanguage,s__partition__m,'partition')
|
domainEnglishFormat.kif 7849-7849 | "partition" is the printable form of partition in english language |
| s__termFormat(s__ar__m,s__partition__m,'«بِالكَامِل مُجَزَّأ إلى»')
|
arabic_format.kif 573-573 | "«بِالكَامِل مُجَزَّأ إلى»" is the printable form of partition in ar |
| antecedent |
|
|
| ( ! [V__ROW1] : (s__partition_1(V__ROW1) <=> (s__exhaustiveDecomposition_1(V__ROW1) & s__disjointDecomposition_1(V__ROW1))) )
( ! [V__ROW1,V__ROW2] :
|
Merge.kif 631-635 | @ROW is exhaustively partitioned into @ROW if and only if @ROW is covered by @ROW and @ROW is disjointly decomposed into @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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners