No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28035-28035 |
atomicNumber Silver and 47 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29262-29262 |
boilingPoint Silver and 2485.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28043-28045 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1987-1987 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2359-2359 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1252-1252 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29261-29261 |
meltingPoint Silver and 1235.08 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28033-28033 |
"Silver" se chama nome Silver |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31493-31493 |
roomTempState Silver and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28032-28032 |
Silver e' uma sub-classe de Substancia Elementar |