Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fluorine

Sigma KEE - Fluorine
Fluorine(fluorine)
F, atomic_number_9, fluorine

appearance as argument number 1
-------------------------


(atomicNumber Fluorine 9) Mid-level-ontology.kif 23623-23623 9 is an atomic number of fluorine
(boilingPoint Fluorine
    (MeasureFn 85.01 KelvinDegree))
Mid-level-ontology.kif 25414-25414 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 23631-23635
(externalImage Fluorine "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ F-TableImage.png") pictureList.kif 1765-1765
(meltingPoint Fluorine
    (MeasureFn 53.53 KelvinDegree))
Mid-level-ontology.kif 25413-25413 53.53 Kelvin degree(s) is a melting point of fluorine
(molecularRatio Fluorine 2 Freon12) Cars.kif 1820-1820 The number of molecules of fluorine in a molecule of freon-12 is 2
(names Fluorine "Fluorine") Mid-level-ontology.kif 23621-23621 "Fluorine" has name fluorine
(subclass Fluorine ElementalSubstance) Mid-level-ontology.kif 23620-23620 Fluorine is a subclass of elemental substance

appearance as argument number 2
-------------------------


(conventionalShortName "F" Fluorine) Mid-level-ontology.kif 23622-23622 Fluorine is a conventional short name of "F"
(termFormat ChineseLanguage Fluorine "氟") domainEnglishFormat.kif 24417-24417
(termFormat ChineseTraditionalLanguage Fluorine "氟") domainEnglishFormat.kif 24416-24416
(termFormat EnglishLanguage Fluorine "fluorine") domainEnglishFormat.kif 24415-24415

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Fluorine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 18.9984 Amu)))
Mid-level-ontology.kif 23625-23629


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners