Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Platinum

Sigma KEE - Platinum
Platinum

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28594-28594 atomicNumber Platinum and 78
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29324-29324 boilingPoint Platinum and 4100.0 KelvinDegree(s)
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 meltingPoint Platinum and 2045.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28592-28592 "Platinum" s'appele nom 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 est une sous-classe de substance �l�mentaire

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28593-28593 conventionalShortName "Pt" and Platinum
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


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