|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29253-29253 | 測量 1165.0 and 凱文度 是 鈉 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29307-29307 | 測量 1657.0 and 凱文度 是 鍶 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29263-29263 | 測量 717.824 and 凱文度 是 硫 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29377-29377 | 測量 5698.0 and 凱文度 是 鉭 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29317-29317 | 測量 5303.0 and 凱文度 是 锝 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29335-29335 | 測量 1263.0 and 凱文度 是 碲 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29361-29361 | 測量 3314.0 and 凱文度 是 铽 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29393-29393 | 測量 1730.0 and 凱文度 是 鉈 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29411-29411 | 測量 5060.0 and 凱文度 是 釷 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29369-29369 | 測量 2000.0 and 凱文度 是 铥 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29331-29331 | 測量 2543.0 and 凱文度 是 錫 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29275-29275 | 測量 3533.0 and 凱文度 是 鈦 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29379-29379 | 測量 6200.0 and 凱文度 是 鎢 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29415-29415 | 測量 4091.0 and 凱文度 是 鈾 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29277-29277 | 測量 3653.0 and 凱文度 是 釩 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29339-29339 | 測量 166.1 and 凱文度 是 氙 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29371-29371 | 測量 1466.0 and 凱文度 是 鐿 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29309-29309 | 測量 3610.0 and 凱文度 是 釔 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29291-29291 | 測量 1180.0 and 凱文度 是 鋅 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29311-29311 | 測量 4650.0 and 凱文度 是 鋯 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 316-317 | 測量 25.0 and 毫米 是 GAU12U 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 393-394 | 測量 7.62 and 毫米 是 M240 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 282-283 | 測量 25.0 and 毫米 是 M242 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 497-498 | 測量 12.7 and 毫米 是 m2褐變 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 574-575 | 測量 12.7 and 毫米 是 M3M 的 caliber |
| 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