No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28149-28149 |
54 是 氙 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29276-29276 |
測量 166.1 and 凱文度 是 氙 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28157-28161 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2426-2426 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2065-2065 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1289-1289 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29275-29275 |
測量 161.3 and 凱文度 是 氙 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28147-28147 |
名 氙 and "Xenon" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31500-31500 |
roomTempState 氙 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28146-28146 |
子類 氙 and ElementalSubstance |