No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27383-27383 |
5 是 硼 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29241-29241 |
測量 2823.0 and 凱文度 是 硼 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27391-27397 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1672-1672 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1053-1053 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29240-29240 |
測量 2573.0 and 凱文度 是 硼 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27381-27381 |
名 硼 and "Boron" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31486-31486 |
roomTempState 硼 and 液體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27380-27380 |
子類 硼 and ElementalSubstance |