No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27842-27842 |
36 是 氪 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29240-29240 |
測量 120.85 and 凱文度 是 氪 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27850-27857 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2244-2244 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1828-1828 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1151-1151 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29239-29239 |
測量 116.55 and 凱文度 是 氪 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27840-27840 |
名 氪 and "Krypton" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31482-31482 |
roomTempState 氪 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27839-27839 |
子類 氪 and ElementalSubstance |