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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JointForcesLandCommander

 Sigma KEE - Magnesium
Magnesium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27509-27509 atomicNumber Magnesium and 12
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29255-29255 boilingPoint Magnesium and 1380.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27517-27522
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 29254-29254 meltingPoint Magnesium and 921.95 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27507-27507 "Magnesium" s'appele nom Magnesium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31494-31494 roomTempState Magnesium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27506-27506 Magnesium est une sous-classe de substance �l�mentaire

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27508-27508 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 27511-27515


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