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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1517-1518
No TPTP formula. May not be expressible in strict first order. Merge.kif 587-590
No TPTP formula. May not be expressible in strict first order. Merge.kif 584-584 The number 1 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 585-585 The number 2 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 582-582 partition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 583-583 partition is an instance of variable arity relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 311-311
No TPTP formula. May not be expressible in strict first order. english_format.kif 316-316
No TPTP formula. May not be expressible in strict first order. Merge.kif 552-552 exhaustive decomposition is internally related to partition
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 312-312
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44544-44544
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44543-44543

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 608-614
No TPTP formula. May not be expressible in strict first order. Merge.kif 604-606
No TPTP formula. May not be expressible in strict first order. Merge.kif 592-596

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 598-602
No TPTP formula. May not be expressible in strict first order. Merge.kif 604-606

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11024-11024 Ambulating is exhaustively partitioned into walking and running
No TPTP formula. May not be expressible in strict first order. Merge.kif 14667-14667 Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure
No TPTP formula. May not be expressible in strict first order. Merge.kif 14666-14666 Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure
No TPTP formula. May not be expressible in strict first order. Merge.kif 14202-14202 Animal is exhaustively partitioned into vertebrate and invertebrate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16559-16559 Argument is exhaustively partitioned into deductive argument and inductive argument
No TPTP formula. May not be expressible in strict first order. Merge.kif 1650-1650 Attribute is exhaustively partitioned into internal attribute and relational attribute
No TPTP formula. May not be expressible in strict first order. WMD.kif 82-82 Biochemical agent is exhaustively partitioned into biological agent and chemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 108-108 Biochemical weapon is exhaustively partitioned into biological weapon and chemical weapon
No TPTP formula. May not be expressible in strict first order. WMD.kif 157-157 Biological agent is exhaustively partitioned into toxin and toxic organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7340-7340 Care organization is exhaustively partitioned into hospital organization and medical clinic
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1027-1027 Chairman publication is exhaustively partitioned into chairman instruction and chairman manual
No TPTP formula. May not be expressible in strict first order. Merge.kif 12281-12281 Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 12809-12809 Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3546-3546 Currency is exhaustively partitioned into currency bill and currency coin
No TPTP formula. May not be expressible in strict first order. Merge.kif 16579-16579 Deductive argument is exhaustively partitioned into valid deductive argument and invalid deductive argument
No TPTP formula. May not be expressible in strict first order. Merge.kif 807-807 Entity is exhaustively partitioned into physical and abstract
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12463-12463 Expressing is exhaustively partitioned into gesture and expressing in language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1569-1569 Firearm is exhaustively partitioned into rifle and pistol
No TPTP formula. May not be expressible in strict first order. Merge.kif 13801-13801 Geographic area is exhaustively partitioned into water area and land area
No TPTP formula. May not be expressible in strict first order. Merge.kif 17519-17519 Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 5726-5726 Graph element is exhaustively partitioned into graph node and graph arc
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1129-1129 Gun is exhaustively partitioned into artillery gun and firearm
No TPTP formula. May not be expressible in strict first order. Merge.kif 14400-14400 Human is exhaustively partitioned into man and woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 1395-1395 Human language is exhaustively partitioned into natural language and constructed language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1396-1396 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