|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31467-31467 | roomTempState chlorine and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31582-31582 | roomTempState cholesterol and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31448-31448 | roomTempState Coca-Cola 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 31431-31431 | roomTempState Cointreau and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31586-31586 | roomTempState colloid and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31589-31589 | 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 31555-31555 | roomTempState cyanogen chloride and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31591-31591 | roomTempState DDT and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31592-31592 | roomTempState defoliant and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31407-31407 | roomTempState detergent and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31398-31398 | roomTempState diesel fuel and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31424-31424 | roomTempState distilled alcoholic beverage and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31639-31639 | roomTempState potable water and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31446-31446 | roomTempState espresso and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31598-31598 | roomTempState ethanol and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31601-31601 | roomTempState freshwater and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31604-31604 | roomTempState GF and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31610-31610 | roomTempState G series nerve agent and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31397-31397 | roomTempState gasoline and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31605-31605 | roomTempState glass and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31606-31606 | roomTempState glue and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31433-31433 | roomTempState Grand Marnier 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