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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


s__atomicNumber(s__Fluorine,n__9)

Mid-level-ontology.kif 25369-25369 9 is an atomic number of fluorine
s__boilingPoint(s__Fluorine,s__MeasureFn(n__85_01,s__KelvinDegree))

Mid-level-ontology.kif 27160-27160 85.01 Kelvin degree(s) is a boiling point of fluorine
s__documentation(s__Fluorine,s__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 25377-25381
s__externalImage(s__Fluorine,'"http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ F-TableImage.png"')

pictureList.kif 1765-1765
s__meltingPoint(s__Fluorine,s__MeasureFn(n__53_53,s__KelvinDegree))

Mid-level-ontology.kif 27159-27159 53.53 Kelvin degree(s) is a melting point of fluorine
s__molecularRatio(s__Fluorine,n__2,s__Freon12)

Cars.kif 1820-1820 The number of molecules of fluorine in a molecule of freon-12 is 2
s__names(s__Fluorine,'"Fluorine"')

Mid-level-ontology.kif 25367-25367 "Fluorine" has name fluorine
s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__Fluorine,s__SetOrClass)

s__subclass(s__Fluorine,s__ElementalSubstance)

Mid-level-ontology.kif 25366-25366 Fluorine is a subclass of elemental substance

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


s__conventionalShortName('"F"',s__Fluorine)

Mid-level-ontology.kif 25368-25368 Fluorine is a conventional short name of "F"
s__termFormat(s__ChineseLanguage,s__Fluorine,'"氟"')

domainEnglishFormat.kif 24417-24417
s__termFormat(s__ChineseTraditionalLanguage,s__Fluorine,'"氟"')

domainEnglishFormat.kif 24416-24416
s__termFormat(s__EnglishLanguage,s__Fluorine,'"fluorine"')

domainEnglishFormat.kif 24415-24415

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


( ! [V__ATOM] :
   (((s__instance(V__ATOM,s__Fluorine) &
         s__instance(V__ATOM,s__Atom))
       =>
       (s__measure(V__ATOM,s__MeasureFn(n__18_9984,s__Amu))))
   )
)

Mid-level-ontology.kif 25371-25375


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