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 29788-29788
(boilingPoint Antimony
    (MeasureFn 2023.0 KelvinDegree))
Mid-level-ontology.kif 30960-30960
(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 29796-29800
(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 30959-30959
(names Antimony "Antimony") Mid-level-ontology.kif 29786-29786
(roomTempState Antimony Solid) Mid-level-ontology.kif 33205-33205
(subclass Antimony ElementalSubstance) Mid-level-ontology.kif 29785-29785

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


(conventionalShortName "Sb" Antimony) Mid-level-ontology.kif 29787-29787
(termFormat ChineseLanguage Antimony "锑") domainEnglishFormat.kif 7885-7885
(termFormat ChineseTraditionalLanguage Antimony "銻") domainEnglishFormat.kif 7884-7884
(termFormat EnglishLanguage Antimony "antimony") domainEnglishFormat.kif 7883-7883

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


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


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