TreeView Knowledge Base Browser - Platinum

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Platinum

Platinum(platinum)

Pt, atomic_number_78, platinum

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28594-28594	78 is an atomic number of platinum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29324-29324	4100.0 Kelvin degree(s) is a boiling point of platinum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28602-28615
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1921-1921
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6586-6586
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2310-2310
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1216-1216
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29323-29323	2045.0 Kelvin degree(s) is a melting point of platinum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28592-28592	"Platinum" has name platinum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31524-31524	roomTempState platinum and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28591-28591	Platinum 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 28593-28593	Platinum is a conventional short name of "Pt"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46242-46242
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46241-46241
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46240-46240

antecedent

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

Mid-level-ontology.kif 28596-28600

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