Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - partition
partition

appearance as argument number 1
-------------------------


s__documentation(s__partition__m,s__ChineseLanguage,'C Classpartition 是一组包括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] :
   (s__partition_2(V__ROW1,V__ROW2)
   <=>
   (s__exhaustiveDecomposition_2(V__ROW1,V__ROW2)
   &
   s__disjointDecomposition_2(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
-------------------------


s__partition_3(s__Ambulating,s__Walking,s__Running)

Merge.kif 10974-10974 Ambulating is exhaustively partitioned into walking and running
s__partition_3(s__AnatomicalStructure,s__AnimalAnatomicalStructure,s__PlantAnatomicalStructure)

Merge.kif 14922-14922 Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure
s__partition_3(s__AnatomicalStructure,s__BodyPart,s__AbnormalAnatomicalStructure)

Merge.kif 14921-14921 Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure
s__partition_3(s__Animal,s__Vertebrate,s__Invertebrate)

Merge.kif 14369-14369 Animal is exhaustively partitioned into vertebrate and invertebrate
s__partition_3(s__Argument,s__DeductiveArgument,s__InductiveArgument)

Merge.kif 16968-16968 Argument is exhaustively partitioned into deductive argument and inductive argument
s__partition_3(s__Attribute,s__InternalAttribute,s__RelationalAttribute)

Merge.kif 1734-1734 Attribute is exhaustively partitioned into internal attribute and relational attribute
s__partition_3(s__BiochemicalAgent,s__BiologicalAgent,s__ChemicalAgent)

WMD.kif 82-82 Biochemical agent is exhaustively partitioned into biological agent and chemical agent
s__partition_3(s__BiochemicalWeapon,s__BiologicalWeapon,s__ChemicalWeapon)

WMD.kif 107-107 Biochemical weapon is exhaustively partitioned into biological weapon and chemical weapon
s__partition_3(s__BiologicalAgent,s__Toxin,s__ToxicOrganism)

WMD.kif 157-157 Biological agent is exhaustively partitioned into toxin and toxic organism
s__partition_3(s__CareOrganization,s__HospitalOrganization,s__MedicalClinic)

Mid-level-ontology.kif 7327-7327 Care organization is exhaustively partitioned into hospital organization and medical clinic
s__partition_3(s__ChairmanPublication,s__ChairmanInstruction,s__ChairmanManual)

MilitaryProcesses.kif 1015-1015 Chairman publication is exhaustively partitioned into chairman instruction and chairman manual
s__partition_3(s__ChemicalProcess,s__ChemicalSynthesis,s__ChemicalDecomposition)

Merge.kif 12276-12276 Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition
s__partition_7(s__Communication,s__Stating,s__Supposing,s__Directing,s__Committing,s__Expressing,s__Declaring)

Merge.kif 12836-12836 Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
s__partition_3(s__Currency,s__CurrencyBill,s__CurrencyCoin)

Mid-level-ontology.kif 4116-4116 Currency is exhaustively partitioned into currency bill and currency coin
s__partition_3(s__DeductiveArgument,s__ValidDeductiveArgument,s__InvalidDeductiveArgument)

Merge.kif 16990-16990 Deductive argument is exhaustively partitioned into valid deductive argument and invalid deductive argument
s__partition_3(s__Entity,s__Physical,s__Abstract)

Merge.kif 840-840 Entity is exhaustively partitioned into physical and abstract
s__partition_3(s__Expressing,s__Gesture,s__ExpressingInLanguage)

Mid-level-ontology.kif 10535-10535 Expressing is exhaustively partitioned into gesture and expressing in language
s__partition_3(s__Firearm,s__Rifle,s__Pistol)

Mid-level-ontology.kif 2013-2013 Firearm is exhaustively partitioned into rifle and pistol
s__partition_3(s__GeographicArea,s__WaterArea,s__LandArea)

Merge.kif 13893-13893 Geographic area is exhaustively partitioned into water area and land area
s__partition_5(s__GeometricFigure,s__GeometricPoint,s__OneDimensionalFigure,s__TwoDimensionalFigure,s__ThreeDimensionalFigure)

Merge.kif 18097-18097 Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure
s__partition_3(s__GraphElement,s__GraphNode,s__GraphArc)

Merge.kif 5891-5891 Graph element is exhaustively partitioned into graph node and graph arc
s__partition_3(s__Gun,s__ArtilleryGun,s__Firearm)

Mid-level-ontology.kif 1551-1551 Gun is exhaustively partitioned into artillery gun and firearm
s__partition_3(s__Human,s__Man,s__Woman)

Merge.kif 14604-14604 Human is exhaustively partitioned into man and woman
s__partition_3(s__HumanLanguage,s__NaturalLanguage,s__ConstructedLanguage)

Merge.kif 1464-1464 Human language is exhaustively partitioned into natural language and constructed language
s__partition_3(s__HumanLanguage,s__SpokenHumanLanguage,s__ManualHumanLanguage)

Merge.kif 1465-1465 Human language is exhaustively partitioned into spoken human language and manual human language

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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