No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28098-28098 |
atomicNumber Silver and 47 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29325-29325 |
boilingPoint Silver and 2485.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28106-28108 |
|
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 29324-29324 |
meltingPoint Silver and 1235.08 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28096-28096 |
"Silver" s'appele nom Silver |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31529-31529 |
roomTempState Silver and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28095-28095 |
Silver est une sous-classe de substance �l�mentaire |