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 27407-27407 9 是 atomic 数字
(boilingPoint Fluorine
    (MeasureFn 85.01 KelvinDegree))
Mid-level-ontology.kif 29198-29198 85.01 凯文度boiling
(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 27415-27419
(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 29197-29197 53.53 凯文度melting
(molecularRatio Fluorine 2 Freon12) Cars.kif 1806-1806 molecularRatio , 2 and Freon12
(names Fluorine "Fluorine") Mid-level-ontology.kif 27405-27405 "Fluorine" 的名 是
(roomTempState Fluorine Gas) Mid-level-ontology.kif 31459-31459 roomTempState and 加油站
(subclass Fluorine ElementalSubstance) Mid-level-ontology.kif 27404-27404 元素物质subclass

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


(conventionalShortName "F" Fluorine) Mid-level-ontology.kif 27406-27406 是 "F" 的 conventional 简称
(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 27409-27413


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