No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27395-27395 |
atomicNumber Fluorine and 9 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29186-29186 |
boilingPoint Fluorine and 85.01 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27403-27407 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1764-1764 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29185-29185 |
meltingPoint Fluorine and 53.53 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1812-1812 |
molecularRatio Fluorine, 2 and Freon12 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27393-27393 |
"Fluorine" s'appele nom Fluorine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31455-31455 |
roomTempState Fluorine and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27392-27392 |
Fluorine est une sous-classe de substance �l�mentaire |