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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28047-28047 47 是 银 的 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29274-29274 2485.0 凯文度 是 银 的 boiling 点
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 凯文度 是 银 的 melting 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28045-28045 "Silver" 的名 是 银
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31497-31497 roomTempState 银 and 固体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28044-28044 银 是 元素物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28046-28046 银 是 "Ag" 的 conventional 简称
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