No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29358-29358 |
測量 3470.0 and 凱文度 是 錒 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29206-29206 |
測量 2740.0 and 凱文度 是 鋁 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29370-29370 |
測量 2880.0 and 凱文度 是 銤 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29282-29282 |
測量 2023.0 and 凱文度 是 銻 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29216-29216 |
測量 87.29 and 凱文度 是 氬 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29246-29246 |
測量 886.0 and 凱文度 是 砷 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29350-29350 |
測量 610.0 and 凱文度 是 砹 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29292-29292 |
測量 1913.0 and 凱文度 是 鋇 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29188-29188 |
測量 3243.0 and 凱文度 是 鈹 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29346-29346 |
測量 1833.0 and 凱文度 是 鉍 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29190-29190 |
測量 2823.0 and 凱文度 是 硼 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29250-29250 |
測量 331.93 and 凱文度 是 溴 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29276-29276 |
測量 1038.0 and 凱文度 是 鎘 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29290-29290 |
測量 963.0 and 凱文度 是 銫 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29220-29220 |
測量 1760.0 and 凱文度 是 鈣 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29192-29192 |
測量 5100.0 and 凱文度 是 碳 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29296-29296 |
測量 3530.0 and 凱文度 是 鈰 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29214-29214 |
測量 238.55 and 凱文度 是 氯 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29228-29228 |
測量 2755.0 and 凱文度 是 鉻 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29234-29234 |
測量 3143.0 and 凱文度 是 鈷 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29238-29238 |
測量 2868.0 and 凱文度 是 銅 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29312-29312 |
測量 2608.0 and 凱文度 是 鏑 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29316-29316 |
測量 2783.0 and 凱文度 是 鉺 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29306-29306 |
測量 1870.0 and 凱文度 是 銪 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29198-29198 |
測量 85.01 and 凱文度 是 氟 的 boiling 點 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |