|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31505-31505 | roomTempState 銫 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31572-31572 | roomTempState Caffeine and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31470-31470 | roomTempState 鈣 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31573-31573 | roomTempState 麻 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31455-31455 | roomTempState 碳 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31508-31508 | roomTempState 鈰 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31401-31401 | roomTempState Charcoal and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31577-31577 | roomTempState 鹽 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31583-31583 | roomTempState 鉻鐵礦 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31474-31474 | roomTempState 鉻 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31584-31584 | roomTempState 環丙沙星 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31399-31399 | 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 31415-31415 | roomTempState Cobble and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31585-31585 | roomTempState 可卡因 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2489-2489 | roomTempState 可可脂 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2442-2442 | roomTempState CocoaLiquor and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2481-2481 | roomTempState 可可粉 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31587-31587 | roomTempState 芋螺毒素 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31479-31479 | roomTempState 銅 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31588-31588 | roomTempState 銅礦 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3140-3140 | roomTempState Curd and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31546-31546 | roomTempState 鋦 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31456-31456 | roomTempState 鑽石 and 固體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31593-31593 | 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