No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28212-28212 |
54 是 氙 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29339-29339 |
測量 166.1 and 凱文度 是 氙 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28220-28224 |
|
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 29338-29338 |
測量 161.3 and 凱文度 是 氙 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28210-28210 |
名 氙 and "Xenon" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31536-31536 |
roomTempState 氙 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28209-28209 |
子類 氙 and ElementalSubstance |