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 28904-28904 95 是 銤 的 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29358-29358 測量 2880.0 and 凱文度 是 銤 的 boiling 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28912-28916
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 29357-29357 測量 1267.0 and 凱文度 是 銤 的 melting 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28902-28902 名 銤 and "Americium"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31541-31541 roomTempState 銤 and 固體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28901-28901 子類 銤 and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28903-28903 銤 是 "Am" 的 conventional 簡稱
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 28906-28910


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