No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27526-27526 |
atomicNumber Sulphur and 16 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29212-29212 |
boilingPoint Sulphur and 717.824 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27534-27537 |
|
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 29211-29211 |
meltingPoint Sulphur and 386.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2492-2492 |
molecularRatio Sulphur, 1 and SulfuricAcid |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7178-7178 |
molecularRatio Sulphur, 1 and SulphurDioxide |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27524-27524 |
"Sulphur" se chama nome Sulphur |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31466-31466 |
roomTempState Sulphur and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27523-27523 |
Sulphur e' uma sub-classe de Substancia Elementar |