| 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 585-588 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 82-84 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 94-96 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 582-582 | The number 1 argument of partition is an instance of class |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 583-583 | The number 2 argument of partition is an instance of class |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 580-580 | partition is an instance of predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 581-581 | 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. | french_format.kif 178-178 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 213-213 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1998-1998 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 130-130 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 187-187 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 408-408 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 251-251 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 198-198 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 188-188 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 405-405 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 550-550 | 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 44582-44582 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44581-44581 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 606-612 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 602-604 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 590-594 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 596-600 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 602-604 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11107-11107 | Ambulating is exhaustively partitioned into walking and running |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14805-14805 | 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 14804-14804 | 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 14338-14338 | Animal is exhaustively partitioned into vertebrate and invertebrate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16697-16697 | Argument is exhaustively partitioned into deductive argument and inductive argument |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1689-1689 | 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 7592-7592 | 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 12395-12395 | Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12927-12927 | 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 3557-3557 | Currency is exhaustively partitioned into currency bill and currency coin |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16717-16717 | 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 816-816 | Entity is exhaustively partitioned into physical and abstract |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12814-12814 | 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 1576-1576 | Firearm is exhaustively partitioned into rifle and pistol |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8119-8119 | Garden is exhaustively partitioned into residential garden and public garden |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13923-13923 | Geographic area is exhaustively partitioned into water area and land area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17666-17666 | 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 5806-5806 | 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 1134-1134 | Gun is exhaustively partitioned into artillery gun and firearm |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4646-4646 | Hardwood is exhaustively partitioned into softwood |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14536-14536 | Human is exhaustively partitioned into man and woman |
| 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