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. Merge.kif 642-643
No TPTP formula. May not be expressible in strict first order. Merge.kif 638-641
No TPTP formula. May not be expressible in strict first order. Merge.kif 636-636 The number 1 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 637-637 The number 2 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 634-634 partition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 635-635 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 188-188
No TPTP formula. May not be expressible in strict first order. Merge.kif 600-600 exhaustive decomposition is internally related to partition
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 312-312 "划分" is the printable form of partition in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7848-7848 "partition" is the printable form of partition in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 645-649 @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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11111-11111 Ambulating is exhaustively partitioned into walking and running
No TPTP formula. May not be expressible in strict first order. Merge.kif 15058-15058 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 15057-15057 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 14505-14505 Animal is exhaustively partitioned into vertebrate and invertebrate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17105-17105 Argument is exhaustively partitioned into deductive argument and inductive argument
No TPTP formula. May not be expressible in strict first order. Merge.kif 1757-1757 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 107-107 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 7331-7331 Care organization is exhaustively partitioned into hospital organization and medical clinic
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1015-1015 Chairman publication is exhaustively partitioned into chairman instruction and chairman manual
No TPTP formula. May not be expressible in strict first order. Merge.kif 12412-12412 Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 12972-12972 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 4120-4120 Currency is exhaustively partitioned into currency bill and currency coin
No TPTP formula. May not be expressible in strict first order. Merge.kif 17127-17127 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 854-854 Entity is exhaustively partitioned into physical and abstract
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10547-10547 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 2013-2013 Firearm is exhaustively partitioned into rifle and pistol
No TPTP formula. May not be expressible in strict first order. Merge.kif 14029-14029 Geographic area is exhaustively partitioned into water area and land area
No TPTP formula. May not be expressible in strict first order. Merge.kif 18234-18234 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 5924-5924 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 1551-1551 Gun is exhaustively partitioned into artillery gun and firearm
No TPTP formula. May not be expressible in strict first order. Merge.kif 14740-14740 Human is exhaustively partitioned into man and woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 1482-1482 Human language is exhaustively partitioned into natural language and constructed language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1483-1483 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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners