|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31123-31123 | 測量 1165.0 and 凱文度 是 鈉 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31177-31177 | 測量 1657.0 and 凱文度 是 鍶 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31133-31133 | 測量 717.824 and 凱文度 是 硫 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31247-31247 | 測量 5698.0 and 凱文度 是 鉭 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31187-31187 | 測量 5303.0 and 凱文度 是 锝 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31205-31205 | 測量 1263.0 and 凱文度 是 碲 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31231-31231 | 測量 3314.0 and 凱文度 是 铽 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31263-31263 | 測量 1730.0 and 凱文度 是 鉈 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31281-31281 | 測量 5060.0 and 凱文度 是 釷 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31239-31239 | 測量 2000.0 and 凱文度 是 铥 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31201-31201 | 測量 2543.0 and 凱文度 是 錫 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31145-31145 | 測量 3533.0 and 凱文度 是 鈦 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31249-31249 | 測量 6200.0 and 凱文度 是 鎢 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31285-31285 | 測量 4091.0 and 凱文度 是 鈾 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31147-31147 | 測量 3653.0 and 凱文度 是 釩 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31209-31209 | 測量 166.1 and 凱文度 是 氙 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31241-31241 | 測量 1466.0 and 凱文度 是 鐿 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31179-31179 | 測量 3610.0 and 凱文度 是 釔 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31161-31161 | 測量 1180.0 and 凱文度 是 鋅 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31181-31181 | 測量 4650.0 and 凱文度 是 鋯 的 boiling 點 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 473-474 | 測量 25.0 and 毫米 是 GAU12U 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 550-551 | 測量 7.62 and 毫米 是 M240 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 439-440 | 測量 25.0 and 毫米 是 M242 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 654-655 | 測量 12.7 and 毫米 是 m2褐變 的 caliber |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 731-732 | 測量 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