TreeView Knowledge Base Browser - Americium

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Americium

Americium(americium)

Am, americium, atomic_number_95

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28904-28904	95 is an atomic number of americium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29358-29358	2880.0 Kelvin degree(s) is a boiling point of americium
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 Kelvin degree(s) is a melting point of americium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28902-28902	"Americium" has name americium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31541-31541	roomTempState americium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28901-28901	Americium is a subclass of elemental substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28903-28903	Americium is a conventional short name of "Am"
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

If a physical is an instance of americium and the physical is an instance of atom,
then the measure of the physical is 243 amu(s)

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