|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31426-31426 | roomTempState Campari and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31573-31573 | roomTempState cannabis and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31455-31455 | roomTempState carbon and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31574-31574 | roomTempState carbon dioxide and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31508-31508 | roomTempState cerium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31430-31430 | roomTempState Chambord and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31423-31423 | roomTempState champagne and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31401-31401 | roomTempState charcoal and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31575-31575 | roomTempState chemical acid and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31576-31576 | roomTempState chemical base and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31577-31577 | roomTempState salt and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31467-31467 | roomTempState chlorine and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31578-31578 | roomTempState chlorine gas and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31579-31579 | roomTempState chlorofluorocarbon and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31580-31580 | roomTempState chloropicrin and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31581-31581 | roomTempState choking agent and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31582-31582 | roomTempState cholesterol and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31583-31583 | roomTempState chromite and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31474-31474 | roomTempState chromium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31584-31584 | roomTempState ciprofloxacin and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31399-31399 | roomTempState coal and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31477-31477 | roomTempState cobalt and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31415-31415 | roomTempState cobble and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31448-31448 | roomTempState Coca-Cola and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31585-31585 | roomTempState cocaine 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