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

Formal Language: 



KB Term:  Term intersection
English Word: 

  partition

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 590-593
No TPTP formula. May not be expressible in strict first order. Merge.kif 587-587 The number 1 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 588-588 The number 2 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 585-585 partition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 586-586 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 555-555 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 44551-44551
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44550-44550

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 611-617
No TPTP formula. May not be expressible in strict first order. Merge.kif 607-609
No TPTP formula. May not be expressible in strict first order. Merge.kif 595-599

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 601-605
No TPTP formula. May not be expressible in strict first order. Merge.kif 607-609

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11078-11078 Ambulating is exhaustively partitioned into walking and running
No TPTP formula. May not be expressible in strict first order. Merge.kif 14774-14774 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 14773-14773 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 14309-14309 Animal is exhaustively partitioned into vertebrate and invertebrate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16666-16666 Argument is exhaustively partitioned into deductive argument and inductive argument
No TPTP formula. May not be expressible in strict first order. Merge.kif 1661-1661 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 7584-7584 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 12366-12366 Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 12898-12898 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 3550-3550 Currency is exhaustively partitioned into currency bill and currency coin
No TPTP formula. May not be expressible in strict first order. Merge.kif 16686-16686 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 810-810 Entity is exhaustively partitioned into physical and abstract
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12790-12790 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 1571-1571 Firearm is exhaustively partitioned into rifle and pistol
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8111-8111 Garden is exhaustively partitioned into residential garden and public garden
No TPTP formula. May not be expressible in strict first order. Merge.kif 13894-13894 Geographic area is exhaustively partitioned into water area and land area
No TPTP formula. May not be expressible in strict first order. Merge.kif 17626-17626 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 5751-5751 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 14507-14507 Human is exhaustively partitioned into man and woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 1406-1406 Human language is exhaustively partitioned into natural language and constructed language

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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