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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fluorine
Fluorine

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


(atomicNumber Fluorine 9) Mid-level-ontology.kif 28351-28351
(boilingPoint Fluorine
    (MeasureFn 85.01 KelvinDegree))
Mid-level-ontology.kif 30142-30142
(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 28359-28363
(externalImage Fluorine "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ F_TableImage.png") pictureList.kif 1763-1763
(meltingPoint Fluorine
    (MeasureFn 53.53 KelvinDegree))
Mid-level-ontology.kif 30141-30141
(molecularRatio Fluorine 2 Freon12) Cars.kif 1790-1790
(names Fluorine "Fluorine") Mid-level-ontology.kif 28349-28349
(roomTempState Fluorine Gas) Mid-level-ontology.kif 32411-32411
(subclass Fluorine ElementalSubstance) Mid-level-ontology.kif 28348-28348

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


(conventionalShortName "F" Fluorine) Mid-level-ontology.kif 28350-28350
(termFormat ChineseLanguage Fluorine "氟") domainEnglishFormat.kif 24438-24438
(termFormat ChineseTraditionalLanguage Fluorine "氟") domainEnglishFormat.kif 24437-24437
(termFormat EnglishLanguage Fluorine "fluorine") domainEnglishFormat.kif 24436-24436

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


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


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



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