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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Unnilhexium
Unnilhexium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29097-29097 atomicNumber Unnilhexium and 106
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29105-29108
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 29096-29096 "Unnilhexium" se chama nome Unnilhexium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29095-29095 Unnilhexium e' uma sub-classe de Substancia Elementar

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


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

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


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


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