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 28606-28606 78 is an atomic number of platinum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29336-29336 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 28614-28627
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 29335-29335 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 28604-28604 "Platinum" has name platinum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31528-31528 roomTempState platinum and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28603-28603 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 28605-28605 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 28608-28612


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