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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Antimony
Antimony

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


(atomicNumber Antimony 51) Mid-level-ontology.kif 27151-27151
(boilingPoint Antimony
    (MeasureFn 2023 KelvinDegree))
Mid-level-ontology.kif 28323-28323
(documentation Antimony EnglishLanguage "Element of group 15. Multiple allotropic forms. The stable form of antimony is a blue-white metal. Yellow and black antimony are unstable non-metals. Used in flame-proofing, paints, ceramics, enamels, and rubber. Attacked by oxidizing acids and halogens. First reported by Tholden in 1450.") Mid-level-ontology.kif 27159-27163
(externalImage Antimony "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Sb%2C51.jpg") pictureList.kif 2105-2105
(externalImage Antimony "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ Sb-TableImage.png") pictureList.kif 1643-1643
(externalImage Antimony "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ rocks_minerals/ An_Ap/ Antimony.png") pictureList.kif 230-230
(meltingPoint Antimony
    (MeasureFn 903.89 KelvinDegree))
Mid-level-ontology.kif 28322-28322
(names Antimony "Antimony") Mid-level-ontology.kif 27149-27149
(subclass Antimony ElementalSubstance) Mid-level-ontology.kif 27148-27148

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


(conventionalShortName "Sb" Antimony) Mid-level-ontology.kif 27150-27150
(termFormat ChineseLanguage Antimony "锑") domainEnglishFormat.kif 7887-7887
(termFormat ChineseTraditionalLanguage Antimony "銻") domainEnglishFormat.kif 7886-7886
(termFormat EnglishLanguage Antimony "antimony") domainEnglishFormat.kif 7885-7885

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


(=>
    (and
        (instance ?ATOM Antimony)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 121.75 Amu)))
Mid-level-ontology.kif 27153-27157


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