No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27475-27475 |
10 是 氖 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29251-29251 |
測量 27.1 and 凱文度 是 氖 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27483-27488 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1864-1864 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2265-2265 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29250-29250 |
測量 24.48 and 凱文度 是 氖 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27473-27473 |
名 氖 and "Neon" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31492-31492 |
roomTempState 氖 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27472-27472 |
子類 氖 and ElementalSubstance |