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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Silver
Silver(silver)
Ag, atomic_number_47, silver

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28047-28047 47 is an atomic number of silver
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29274-29274 2485.0 Kelvin degree(s) is a boiling point of silver
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28055-28057
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1987-1987
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2359-2359
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1252-1252
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29273-29273 1235.08 Kelvin degree(s) is a melting point of silver
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28045-28045 "Silver" has name silver
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31497-31497 roomTempState silver and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28044-28044 Silver is a subclass of elemental substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28046-28046 Silver is a conventional short name of "Ag"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53102-53102
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53101-53101
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53100-53100

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28049-28053


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