No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27514-27514 |
16 是 硫 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29200-29200 |
測量 717.824 and 凱文度 是 硫 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27522-27525 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2385-2385 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2010-2010 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1259-1259 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29199-29199 |
測量 386.0 and 凱文度 是 硫 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2498-2498 |
molecularRatio 硫, 1 and SulfuricAcid |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7178-7178 |
molecularRatio 硫, 1 and SulphurDioxide |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27512-27512 |
名 硫 and "Sulphur" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31462-31462 |
roomTempState 硫 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27511-27511 |
子類 硫 and ElementalSubstance |