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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Yttrium
Yttrium(钇)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27908-27908 39 是 钇 的 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29258-29258 3610.0 凯文度 是 钇 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27916-27920
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2430-2430
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2068-2068
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1291-1291
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29257-29257 1796.0 凯文度 是 钇 的 melting 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27906-27906 "Yttrium" 的名 是 钇
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31489-31489 roomTempState 钇 and 固体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27905-27905 钇 是 元素物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27907-27907 钇 是 "Y" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63937-63937
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63936-63936
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63935-63935

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


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


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