No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29346-29346 |
測量 3470.0 and 凱文度 是 錒 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29194-29194 |
測量 2740.0 and 凱文度 是 鋁 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29358-29358 |
測量 2880.0 and 凱文度 是 銤 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29270-29270 |
測量 2023.0 and 凱文度 是 銻 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29204-29204 |
測量 87.29 and 凱文度 是 氬 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29234-29234 |
測量 886.0 and 凱文度 是 砷 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29338-29338 |
測量 610.0 and 凱文度 是 砹 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29280-29280 |
測量 1913.0 and 凱文度 是 鋇 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29176-29176 |
測量 3243.0 and 凱文度 是 鈹 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29334-29334 |
測量 1833.0 and 凱文度 是 鉍 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29178-29178 |
測量 2823.0 and 凱文度 是 硼 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29238-29238 |
測量 331.93 and 凱文度 是 溴 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29264-29264 |
測量 1038.0 and 凱文度 是 鎘 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29278-29278 |
測量 963.0 and 凱文度 是 銫 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29208-29208 |
測量 1760.0 and 凱文度 是 鈣 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29180-29180 |
測量 5100.0 and 凱文度 是 碳 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29284-29284 |
測量 3530.0 and 凱文度 是 鈰 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29202-29202 |
測量 238.55 and 凱文度 是 氯 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29216-29216 |
測量 2755.0 and 凱文度 是 鉻 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29222-29222 |
測量 3143.0 and 凱文度 是 鈷 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29226-29226 |
測量 2868.0 and 凱文度 是 銅 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29300-29300 |
測量 2608.0 and 凱文度 是 鏑 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29304-29304 |
測量 2783.0 and 凱文度 是 鉺 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29294-29294 |
測量 1870.0 and 凱文度 是 銪 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29186-29186 |
測量 85.01 and 凱文度 是 氟 的 boiling 點 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |