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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Americium

 Sigma KEE - Americium
Americium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28916-28916 atomicNumber Americium and 95
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29370-29370 boilingPoint Americium and 2880.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28924-28928
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1638-1638
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2100-2100
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1027-1027
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29369-29369 meltingPoint Americium and 1267.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28914-28914 "Americium" se chama nome Americium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31545-31545 roomTempState Americium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28913-28913 Americium 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 28915-28915 conventionalShortName "Am" and Americium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7212-7212
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7211-7211
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7210-7210

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


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


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