No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28525-28525 |
74 是 鎢 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29316-29316 |
測量 6200.0 and 凱文度 是 鎢 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28533-28536 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2046-2046 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2416-2416 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1275-1275 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29315-29315 |
測量 3680.0 and 凱文度 是 鎢 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28523-28523 |
名 鎢 and "Tungsten" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31520-31520 |
roomTempState 鎢 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28522-28522 |
子類 鎢 and ElementalSubstance |