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" se chama nome 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 e' uma sub-classe de Substancia Elementar |