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的每一个实例正正是这个分区子类别的一个实例。"')

chinese_format.kif 1517-1518
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 586-589
s__domain(s__partition__m,n__1,s__Class)

Merge.kif 583-583 The number 1 argument of partition is an instance of class
s__domain(s__partition__m,n__2,s__Class)

Merge.kif 584-584 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 581-581 partition is an instance of predicate
s__instance(s__partition__m,s__VariableArityRelation)

s__instance(s__VariableArityRelation,s__SetOrClass)

Merge.kif 582-582 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 319-319
s__relatedInternalConcept(s__exhaustiveDecomposition__m,s__partition__m)

Merge.kif 551-551 exhaustive decomposition is internally related to partition
s__termFormat(s__ChineseLanguage,s__partition__m,'"划分"')

chinese_format.kif 312-312
s__termFormat(s__ChineseTraditionalLanguage,s__partition__m,'"劃分"')

domainEnglishFormat.kif 44544-44544
s__termFormat(s__EnglishLanguage,s__partition__m,'"partition"')

domainEnglishFormat.kif 44543-44543

antecedent
-------------------------


( ! [V__ROW3,V__ROW2] :
   (((s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       (((s__partition__2(V__ROW2,V__ROW3)
           =>
           (s__exhaustiveDecomposition__2(V__ROW2,V__ROW3)
           &
           s__disjointDecomposition__2(V__ROW2,V__ROW3)))
     &
     ((s__exhaustiveDecomposition__2(V__ROW2,V__ROW3)
       &
       s__disjointDecomposition__2(V__ROW2,V__ROW3))
   =>
   s__partition__2(V__ROW2,V__ROW3)))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW4,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       (((s__partition__3(V__ROW2,V__ROW3,V__ROW4)
           =>
           (s__exhaustiveDecomposition__3(V__ROW2,V__ROW3,V__ROW4)
           &
           s__disjointDecomposition__3(V__ROW2,V__ROW3,V__ROW4)))
     &
     ((s__exhaustiveDecomposition__3(V__ROW2,V__ROW3,V__ROW4)
       &
       s__disjointDecomposition__3(V__ROW2,V__ROW3,V__ROW4))
   =>
   s__partition__3(V__ROW2,V__ROW3,V__ROW4)))))
)
)

( ! [V__ROW7,V__ROW8,V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__ROW7,s__Class) &
         s__instance(V__ROW8,s__Class) &
         s__instance(V__ROW5,s__Class) &
         s__instance(V__ROW6,s__Class) &
         s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW4,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       (((s__partition__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
           =>
           (s__exhaustiveDecomposition__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
           &
           s__disjointDecomposition__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)))
     &
     ((s__exhaustiveDecomposition__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
       &
       s__disjointDecomposition__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8))
   =>
   s__partition__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)))))
)
)

( ! [V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__ROW5,s__Class) &
         s__instance(V__ROW6,s__Class) &
         s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW4,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       (((s__partition__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
           =>
           (s__exhaustiveDecomposition__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
           &
           s__disjointDecomposition__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)))
     &
     ((s__exhaustiveDecomposition__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
       &
       s__disjointDecomposition__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
   =>
   s__partition__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)))))
)
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__ROW5,s__Class) &
         s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW4,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       (((s__partition__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
           =>
           (s__exhaustiveDecomposition__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
           &
           s__disjointDecomposition__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5)))
     &
     ((s__exhaustiveDecomposition__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
       &
       s__disjointDecomposition__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
   =>
   s__partition__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5)))))
)
)

( ! [V__ROW2] :
   ((s__instance(V__ROW2,s__Class) =>
       (((s__partition__1(V__ROW2)
           =>
           (s__exhaustiveDecomposition__1(V__ROW2)
           &
           s__disjointDecomposition__1(V__ROW2)))
     &
     ((s__exhaustiveDecomposition__1(V__ROW2)
       &
       s__disjointDecomposition__1(V__ROW2))
   =>
   s__partition__1(V__ROW2)))))
)
)

( ! [V__ROW7,V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__ROW7,s__Class) &
         s__instance(V__ROW5,s__Class) &
         s__instance(V__ROW6,s__Class) &
         s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW4,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       (((s__partition__6(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
           =>
           (s__exhaustiveDecomposition__6(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
           &
           s__disjointDecomposition__6(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)))
     &
     ((s__exhaustiveDecomposition__6(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
       &
       s__disjointDecomposition__6(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
   =>
   s__partition__6(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)))))
)
)

Merge.kif 591-595 @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 10665-10665 Ambulating is exhaustively partitioned into walking and running
s__partition__3(s__AnatomicalStructure,s__AnimalAnatomicalStructure,s__PlantAnatomicalStructure)

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

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

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

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

Merge.kif 1612-1612 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 6989-6989 Care organization is exhaustively partitioned into hospital organization and medical clinic
s__partition__3(s__ChairmanPublication,s__ChairmanInstruction,s__ChairmanManual)

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

Merge.kif 11882-11882 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 12380-12380 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 3518-3518 Currency is exhaustively partitioned into currency bill and currency coin
s__partition__3(s__DeductiveArgument,s__ValidDeductiveArgument,s__InvalidDeductiveArgument)

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

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

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

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

Merge.kif 13361-13361 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 16957-16957 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 5556-5556 Graph element is exhaustively partitioned into graph node and graph arc
s__partition__3(s__Gun,s__ArtilleryGun,s__Firearm)

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

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

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

Merge.kif 1334-1334 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 3.0 is open source software produced by Articulate Software and its partners