|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31463-31463 | roomTempState Chlorine and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31578-31578 | roomTempState Cholesterol and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31444-31444 | roomTempState CocaCola and Liquid |
| 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 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. | Mid-level-ontology.kif 31551-31551 | roomTempState CyanogenChloride 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 31394-31394 | roomTempState DieselFuel and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31420-31420 | roomTempState DistilledAlcoholicBeverage and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31635-31635 | roomTempState DrinkingWater and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31442-31442 | roomTempState Espresso and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31594-31594 | roomTempState Ethanol and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31597-31597 | roomTempState FreshWater and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31600-31600 | roomTempState GF and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31606-31606 | roomTempState GSeriesNerveAgent and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31393-31393 | roomTempState Gasoline and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31601-31601 | roomTempState Glass and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31602-31602 | roomTempState Glue and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31429-31429 | roomTempState GrandMarnier and Liquid |
| 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