|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2487-2487 | roomTempState cocoa butter and emulsion |
| 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. | Food.kif 629-629 | roomTempState coffee and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31427-31427 | roomTempState Cointreau and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31582-31582 | roomTempState colloid and liquid |
| 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. | Mid-level-ontology.kif 31585-31585 | roomTempState cortisol and liquid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3111-3111 | roomTempState cream and liquid |
| 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 31551-31551 | roomTempState cyanogen chloride and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31587-31587 | roomTempState DDT and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31588-31588 | roomTempState defoliant and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31403-31403 | roomTempState detergent and liquid |
| 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 31394-31394 | roomTempState diesel fuel and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31589-31589 | roomTempState dimercaprol and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31590-31590 | roomTempState diphosgene and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31420-31420 | roomTempState distilled alcoholic beverage and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31591-31591 | roomTempState dough 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