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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Unnilhexium

 Sigma KEE - Unnilhexium
Unnilhexium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29160-29160 atomicNumber Unnilhexium and 106
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29168-29171
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6945-6945
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29159-29159 "Unnilhexium" s'appele nom Unnilhexium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29158-29158 Unnilhexium est une sous-classe de substance �l�mentaire

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60490-60490
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60489-60489
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60488-60488

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


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


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