|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1893-1893 | Real number is exhaustively partitioned into rational number and irrational number |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9026-9026 | Region is exhaustively partitioned into geographic area and space region |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2162-2162 | Relation is exhaustively partitioned into predicate and function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2163-2163 | Relation is exhaustively partitioned into total valued relation and partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7257-7257 | Rock is exhaustively partitioned into boulder, cobble, and pebble |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2140-2140 | Rolling stock is exhaustively partitioned into passenger railcar and freight car |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19132-19132 | Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2129-2129 | Set or class is exhaustively partitioned into set and class |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9069-9069 | Space region is exhaustively partitioned into atmospheric region and outer space region |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1042-1042 | Substance is exhaustively partitioned into pure substance and mixture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1043-1043 | Substance is exhaustively partitioned into synthetic substance and natural substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2079-2079 | Time position is exhaustively partitioned into time interval and time point |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4866-4866 | Two dimensional angle is exhaustively partitioned into right angle, oblique angle, and acute angle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17796-17796 | Two dimensional figure is exhaustively partitioned into open two dimensional figure and closed two dimensional figure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6223-6223 | Unit of measure is exhaustively partitioned into composite unit of measure and non composite unit of measure |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 40-40 | Virus is exhaustively partitioned into DNA virus and RNA virus |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 42-42 | Virus is exhaustively partitioned into unenveloped virus and enveloped virus |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 41-41 | Virus is exhaustively partitioned into virus double stranded and virus single stranded |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 673-673 | Weapon of mass destruction is exhaustively partitioned into radioactive weapon and biochemical weapon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4590-4590 | Wicker is exhaustively partitioned into plant wicker and synthetic wicker |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15249-15249 | Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word |
|
|
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