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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Magnesium
Magnesium(镁)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27458-27458 12 是 镁 的 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29204-29204 1380.0 凯文度 是 镁 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27466-27471
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1839-1839
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2250-2250
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1172-1172
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29203-29203 921.95 凯文度 是 镁 的 melting 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27456-27456 "Magnesium" 的名 是 镁
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31462-31462 roomTempState 镁 and 固体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27455-27455 镁 是 元素物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27457-27457 镁 是 "Mg" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35615-35615
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35614-35614
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35613-35613

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


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


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