|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31505-31505 | roomTempState caesium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31572-31572 | roomTempState caffeine and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31470-31470 | roomTempState calcium and solid |
| 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 31508-31508 | roomTempState cerium and solid |
| 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 31577-31577 | roomTempState salt and solid |
| 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 31585-31585 | roomTempState cocaine and solid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2489-2489 | roomTempState cocoa butter and solid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2442-2442 | roomTempState cocoa liquor and solid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2481-2481 | roomTempState cocoa solid and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31587-31587 | roomTempState conotoxin and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31479-31479 | roomTempState copper and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31588-31588 | roomTempState copper ore and solid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3140-3140 | roomTempState curd and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31546-31546 | roomTempState curium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31456-31456 | roomTempState diamond and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31593-31593 | roomTempState dimercaprol 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