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 28394-28394
(boilingPoint Antimony
    (MeasureFn 2023.0 KelvinDegree))
Mid-level-ontology.kif 29566-29566
(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 28402-28406
(externalImage Antimony "http://articulatesoftware.com/SUMOpictures/rocks_minerals/ An_Ap/ Antimony.png") pictureList.kif 230-230
(externalImage Antimony "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Sb%2C51.jpg") pictureList.kif 2103-2103
(externalImage Antimony "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ Sb-TableImage.png") pictureList.kif 1641-1641
(meltingPoint Antimony
    (MeasureFn 903.89 KelvinDegree))
Mid-level-ontology.kif 29565-29565
(names Antimony "Antimony") Mid-level-ontology.kif 28392-28392
(roomTempState Antimony Solid) Mid-level-ontology.kif 31766-31766
(subclass Antimony ElementalSubstance) Mid-level-ontology.kif 28391-28391

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


(conventionalShortName "Sb" Antimony) Mid-level-ontology.kif 28393-28393
(termFormat ChineseLanguage Antimony "锑") domainEnglishFormat.kif 7881-7881
(termFormat ChineseTraditionalLanguage Antimony "銻") domainEnglishFormat.kif 7880-7880
(termFormat EnglishLanguage Antimony "antimony") domainEnglishFormat.kif 7879-7879

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


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


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