No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27420-27420 |
7 是 氮 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29245-29245 |
測量 77.4 and 凱文度 是 氮 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27428-27433 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1868-1868 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29244-29244 |
測量 63.29 and 凱文度 是 氮 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7213-7213 |
molecularRatio 氮, 1 and NitricOxide |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7238-7238 |
molecularRatio 氮, 1 and NitrogenDioxide |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27418-27418 |
名 氮 and "Nitrogen" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31489-31489 |
roomTempState 氮 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27417-27417 |
子類 氮 and ElementalSubstance |