|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31591-31591 | roomTempState 面团 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 31512-31512 | roomTempState 镝 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31593-31593 | roomTempState ε毒素 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31514-31514 | roomTempState 铒 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31509-31509 | roomTempState 铕 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31405-31405 | roomTempState 掉出来 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31406-31406 | roomTempState 面粉 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31533-31533 | roomTempState 钫 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31510-31510 | roomTempState 钆 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31477-31477 | roomTempState 镓 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31599-31599 | roomTempState 宝石 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31478-31478 | roomTempState 锗 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31525-31525 | roomTempState 金 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31603-31603 | roomTempState 砾石 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31607-31607 | roomTempState 枪粉 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31518-31518 | roomTempState 铪 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31513-31513 | roomTempState 钬 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31610-31610 | roomTempState 腐殖质 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31495-31495 | roomTempState 铟 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31499-31499 | roomTempState 碘 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31523-31523 | roomTempState 铱 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31472-31472 | roomTempState 铁 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31612-31612 | roomTempState 铁矿 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31503-31503 | roomTempState 镧 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