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 28035-28035 47 是 銀 的 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29262-29262 測量 2485.0 and 凱文度 是 銀 的 boiling 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28043-28045
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 29261-29261 測量 1235.08 and 凱文度 是 銀 的 melting 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28033-28033 名 銀 and "Silver"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31493-31493 roomTempState 銀 and 固體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28032-28032 子類 銀 and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28034-28034 銀 是 "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 28037-28041


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