|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2487-2487 | roomTempState CocoaButter and Emulsion |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2489-2489 | roomTempState CocoaButter and Solid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2442-2442 | roomTempState CocoaLiquor and Solid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2481-2481 | roomTempState CocoaSolid 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 31463-31463 | roomTempState Cointreau and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31618-31618 | roomTempState Colloid and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31619-31619 | roomTempState Conotoxin and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31511-31511 | roomTempState Copper and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31620-31620 | roomTempState CopperOre and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31621-31621 | 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 31578-31578 | roomTempState Curium and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31587-31587 | roomTempState CyanogenChloride and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31623-31623 | roomTempState DDT and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31624-31624 | roomTempState Defoliant and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31439-31439 | roomTempState Detergent and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31488-31488 | roomTempState Diamond and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31430-31430 | roomTempState DieselFuel and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31625-31625 | roomTempState Dimercaprol and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31626-31626 | roomTempState Diphosgene and Gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31456-31456 | roomTempState DistilledAlcoholicBeverage and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31627-31627 | 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