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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Curium
Curium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28984-28984 atomicNumber Curium and 96
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28992-28996
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1722-1722
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29423-29423 meltingPoint Curium and 1613.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28982-28982 "Curium" se chama nome Curium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31578-31578 roomTempState Curium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28981-28981 Curium 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 28983-28983 conventionalShortName "Cm" and Curium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18042-18042
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18041-18041
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18040-18040

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


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


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