Bismuth - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Bismuth

Bismuth(bismuth)

Bi, atomic_number_83, bismuth

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30627-30627	83 is an atomic number of bismuth
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31265-31265	1833.0 Kelvin degree(s) is a boiling point of bismuth
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30635-30640	1833.0 Kelvin degree(s) is a boiling point of bismuth
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1660-1660	1833.0 Kelvin degree(s) is a boiling point of bismuth
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2113-2113	1833.0 Kelvin degree(s) is a boiling point of bismuth
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1048-1048	1833.0 Kelvin degree(s) is a boiling point of bismuth
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31264-31264	544.5 Kelvin degree(s) is a melting point of bismuth
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30625-30625	"Bismuth" has &ames$"name" Bismuth
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33478-33478	room temperature state bismuth and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30624-30624	Bismuth 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 30626-30626	Bismuth is a conventional short name of "Bi"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11222-11222	Bismuth is a conventional short name of "Bi"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11221-11221	Bismuth is a conventional short name of "Bi"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11220-11220	Bismuth is a conventional short name of "Bi"

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 30629-30633

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

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