|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31592-31592 | roomTempState doxycycline and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31635-31635 | roomTempState potable water and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31512-31512 | roomTempState dysprosium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31593-31593 | roomTempState epsilon toxin and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31514-31514 | roomTempState erbium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31442-31442 | roomTempState espresso and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31594-31594 | roomTempState ethanol and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31509-31509 | roomTempState europium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31595-31595 | roomTempState exhaust and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31405-31405 | roomTempState fallout and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31406-31406 | roomTempState flour and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31455-31455 | roomTempState fluorine and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31533-31533 | roomTempState francium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31596-31596 | roomTempState freon-12 and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31597-31597 | roomTempState freshwater and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31600-31600 | roomTempState GF and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31606-31606 | roomTempState G series nerve agent and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31510-31510 | roomTempState gadolinium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31477-31477 | roomTempState gallium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31598-31598 | roomTempState gas mixture and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31393-31393 | roomTempState gasoline and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31599-31599 | roomTempState gemstone and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31478-31478 | roomTempState germanium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31601-31601 | roomTempState glass and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31602-31602 | roomTempState glue and liquid |
| 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