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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Silver
Silver

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


(atomicNumber Silver 47) Mid-level-ontology.kif 26179-26179
(boilingPoint Silver
    (MeasureFn 2485 KelvinDegree))
Mid-level-ontology.kif 27406-27406
(documentation Silver EnglishLanguage "White lustrous soft metallic transition element. Found in both its elemental form and in minerals. Used in jewellery, tableware and so on. Less reactive than silver, chemically.") Mid-level-ontology.kif 26187-26189
(externalImage Silver "http://upload.wikimedia.org/wikipedia/commons/1/11/ Ag-TableImage.png") pictureList.kif 1988-1988
(externalImage Silver "http://upload.wikimedia.org/wikipedia/commons/f/f1/ Ag%2C47.jpg") pictureList.kif 2360-2360
(externalImage Silver "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f1/ Ag%2C47.jpg/ 125px-Ag%2C47.jpg") pictureList.kif 1253-1253
(meltingPoint Silver
    (MeasureFn 1235.08 KelvinDegree))
Mid-level-ontology.kif 27405-27405
(names Silver "Silver") Mid-level-ontology.kif 26177-26177
(subclass Silver ElementalSubstance) Mid-level-ontology.kif 26176-26176

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


(conventionalShortName "Ag" Silver) Mid-level-ontology.kif 26178-26178
(termFormat ChineseLanguage Silver "银") domainEnglishFormat.kif 53084-53084
(termFormat ChineseTraditionalLanguage Silver "銀") domainEnglishFormat.kif 53083-53083
(termFormat EnglishLanguage Silver "silver") domainEnglishFormat.kif 53082-53082

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


(=>
    (and
        (instance ?ATOM Silver)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 107.870 Amu)))
Mid-level-ontology.kif 26181-26185


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