No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27664-27664 |
24 是 鉻 的 atomic 數字 |
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 27672-27673 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 344-344 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1699-1699 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2138-2138 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29227-29227 |
測量 2130.0 and 凱文度 是 鉻 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27662-27662 |
名 鉻 and "Chromium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31474-31474 |
roomTempState 鉻 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27661-27661 |
子類 鉻 and ElementalSubstance |