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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fluorine

Sigma KEE - Fluorine
Fluorine

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


(atomicNumber Fluorine 9) Mid-level-ontology.kif 27395-27395 atomicNumber Fluorine and 9
(boilingPoint Fluorine
    (MeasureFn 85.01 KelvinDegree))
Mid-level-ontology.kif 29186-29186 boilingPoint Fluorine and 85.01 KelvinDegree(s)
(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 27403-27407
(externalImage Fluorine "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ F-TableImage.png") pictureList.kif 1764-1764
(meltingPoint Fluorine
    (MeasureFn 53.53 KelvinDegree))
Mid-level-ontology.kif 29185-29185 meltingPoint Fluorine and 53.53 KelvinDegree(s)
(molecularRatio Fluorine 2 Freon12) Cars.kif 1812-1812 molecularRatio Fluorine, 2 and Freon12
(names Fluorine "Fluorine") Mid-level-ontology.kif 27393-27393 "Fluorine" se chama nome Fluorine
(roomTempState Fluorine Gas) Mid-level-ontology.kif 31455-31455 roomTempState Fluorine and Gas
(subclass Fluorine ElementalSubstance) Mid-level-ontology.kif 27392-27392 Fluorine e' uma sub-classe de Substancia Elementar

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


(conventionalShortName "F" Fluorine) Mid-level-ontology.kif 27394-27394 conventionalShortName "F" and Fluorine
(termFormat ChineseLanguage Fluorine "氟") domainEnglishFormat.kif 24422-24422
(termFormat ChineseTraditionalLanguage Fluorine "氟") domainEnglishFormat.kif 24421-24421
(termFormat EnglishLanguage Fluorine "fluorine") domainEnglishFormat.kif 24420-24420

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


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


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