|
| 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 |
|
|
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