Liquid |
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 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 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 CyanogenChloride 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 DieselFuel and Liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31424-31424 | roomTempState DistilledAlcoholicBeverage and Liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31639-31639 | roomTempState DrinkingWater 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 GSeriesNerveAgent 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 GrandMarnier and Liquid |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |