Liquid(液體) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31467-31467 | roomTempState 氯 and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31582-31582 | roomTempState 膽固醇 and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31448-31448 | roomTempState CocaCola and 液體 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 629-629 | roomTempState 咖啡 and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31431-31431 | roomTempState Cointreau and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31586-31586 | roomTempState 膠體 and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31589-31589 | roomTempState Cortisol and 液體 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3111-3111 | roomTempState Cream and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31555-31555 | roomTempState 氯化氰 and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31591-31591 | roomTempState DDT and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31592-31592 | roomTempState 落葉 and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31407-31407 | roomTempState 洗滌劑 and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31398-31398 | roomTempState 柴油燃料 and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31424-31424 | roomTempState 蒸餾酒精飲料 and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31639-31639 | roomTempState 飲用水 and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31446-31446 | roomTempState Espresso and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31598-31598 | roomTempState Ethanol and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31601-31601 | roomTempState 淡水 and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31604-31604 | roomTempState GF and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31610-31610 | roomTempState G系列神經毒劑 and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31397-31397 | roomTempState 汽油 and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31605-31605 | roomTempState 玻璃 and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31606-31606 | roomTempState 膠 and 液體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31433-31433 | roomTempState GrandMarnier and 液體 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |