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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Magnesium

 Sigma KEE - Magnesium
Magnesium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27446-27446 atomicNumber Magnesium and 12
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29192-29192 boilingPoint Magnesium and 1380.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27454-27459
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 29191-29191 meltingPoint Magnesium and 921.95 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27444-27444 "Magnesium" se chama nome Magnesium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31458-31458 roomTempState Magnesium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27443-27443 Magnesium e' uma sub-classe de Substancia Elementar

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27445-27445 conventionalShortName "Mg" and Magnesium
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 27448-27452


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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