Praseodymium - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Praseodymium

Praseodymium(praseodymium)

Pr, atomic_number_59, praseodymium

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28257-28257	59 is an atomic number of praseodymium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29298-29298	3485.0 Kelvin degree(s) is a boiling point of praseodymium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28265-28268
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1934-1934
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2322-2322
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1219-1219
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29297-29297	1204.0 Kelvin degree(s) is a melting point of praseodymium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28255-28255	"Praseodymium" has name praseodymium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31509-31509	roomTempState praseodymium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28254-28254	Praseodymium 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 28256-28256	Praseodymium is a conventional short name of "Pr"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47090-47090
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47089-47089
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47088-47088

antecedent

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

Mid-level-ontology.kif 28259-28263

If a physical is an instance of praseodymium and the physical is an instance of atom,
then the measure of the physical is 140.907 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