TreeView Knowledge Base Browser - Praseodymium

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 28245-28245	59 is an atomic number of praseodymium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29286-29286	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 28253-28256
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 29285-29285	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 28243-28243	"Praseodymium" has name praseodymium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31505-31505	roomTempState praseodymium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28242-28242	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 28244-28244	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 28247-28251

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 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