|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2885-2885 | roomTempState lard and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31528-31528 | roomTempState lead and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31614-31614 | roomTempState lead ore and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31547-31547 | roomTempState lewisite and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31392-31392 | roomTempState liquefied petroleum gas and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31423-31423 | roomTempState liqueur and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31615-31615 | roomTempState liquid mixture and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31448-31448 | roomTempState lithium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31517-31517 | roomTempState lutetium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31458-31458 | roomTempState magnesium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31471-31471 | roomTempState manganese and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31408-31408 | roomTempState marble and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31616-31616 | roomTempState marijuana and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31526-31526 | roomTempState mercury and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31617-31617 | roomTempState metallic alloy and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31618-31618 | roomTempState methamphetamine and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31619-31619 | roomTempState industrial alcohol and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31414-31414 | roomTempState milk and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31620-31620 | roomTempState mineral and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31488-31488 | roomTempState molybdenum and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31621-31621 | roomTempState mood stabilizer and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31544-31544 | roomTempState mustard gas and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31622-31622 | roomTempState mycotoxin and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31623-31623 | roomTempState natural gas and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31445-31445 | roomTempState magnet and solid |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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