| Fluorine(fluorine)
| | F, atomic_number_9, fluorine |
| appearance as argument number 1 |
|
|
| (atomicNumber Fluorine 9) | Mid-level-ontology.kif 29328-29328 | 9 is an atomic number of fluorine |
| (boilingPoint Fluorine (MeasureFn 85.01 KelvinDegree)) |
Mid-level-ontology.kif 31119-31119 | 85.01 Kelvin degree(s) is a boiling point of fluorine |
| (documentation Fluorine EnglishLanguage "A poisonous pale yellow gaseous element belonging to group 17 of the periodic table (The halogens). It is the most chemically reactive and electronegative element. It is highly dangerous, causing severe chemical burns on contact with flesh. Fluorine was identified by Scheele in 1771 and first isolated by Moissan in 1886.") | Mid-level-ontology.kif 29336-29340 | 85.01 Kelvin degree(s) is a boiling point of fluorine |
| (externalImage Fluorine "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ F_TableImage.png") | pictureList.kif 1763-1763 | 85.01 Kelvin degree(s) is a boiling point of fluorine |
| (meltingPoint Fluorine (MeasureFn 53.53 KelvinDegree)) |
Mid-level-ontology.kif 31118-31118 | 53.53 Kelvin degree(s) is a melting point of fluorine |
| (molecularRatio Fluorine 2 Freon12) | Cars.kif 1790-1790 | The number of molecules of fluorine in a molecule of freon-12 is 2 |
| (names Fluorine "Fluorine") | Mid-level-ontology.kif 29326-29326 | "Fluorine" has &ames$"name" Fluorine |
| (roomTempState Fluorine Gas) | Mid-level-ontology.kif 33406-33406 | room temperature state fluorine and gas |
| (subclass Fluorine ElementalSubstance) | Mid-level-ontology.kif 29325-29325 | Fluorine is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "F" Fluorine) | Mid-level-ontology.kif 29327-29327 | Fluorine is a conventional short name of "F" |
| (termFormat ChineseLanguage Fluorine "氟") | domainEnglishFormat.kif 24427-24427 | Fluorine is a conventional short name of "F" |
| (termFormat ChineseTraditionalLanguage Fluorine "氟") | domainEnglishFormat.kif 24426-24426 | Fluorine is a conventional short name of "F" |
| (termFormat EnglishLanguage Fluorine "fluorine") | domainEnglishFormat.kif 24425-24425 | Fluorine is a conventional short name of "F" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Fluorine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 18.9984 Amu))) |
Mid-level-ontology.kif 29330-29334 |
|
|
|
|