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 28657-28657 atomicNumber Platinum and 78
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29387-29387 boilingPoint Platinum and 4100.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28665-28678
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 29386-29386 meltingPoint Platinum and 2045.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28655-28655 "Platinum" s'appele nom Platinum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31560-31560 roomTempState Platinum and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28654-28654 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 28656-28656 conventionalShortName "Pt" and Platinum
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46244-46244
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46243-46243
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46242-46242

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28659-28663


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