|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31501-31501 | roomTempState caesium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31568-31568 | roomTempState caffeine and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31466-31466 | roomTempState calcium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31569-31569 | roomTempState cannabis and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31451-31451 | roomTempState carbon and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31504-31504 | roomTempState cerium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31397-31397 | roomTempState charcoal and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31573-31573 | roomTempState salt and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31579-31579 | roomTempState chromite and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31470-31470 | roomTempState chromium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31580-31580 | roomTempState ciprofloxacin and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31395-31395 | roomTempState coal and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31473-31473 | roomTempState cobalt and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31411-31411 | roomTempState cobble and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31581-31581 | 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 31583-31583 | roomTempState conotoxin and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31475-31475 | roomTempState copper and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31584-31584 | 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 31542-31542 | roomTempState curium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31452-31452 | roomTempState diamond and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31589-31589 | 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