| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28031-28031 |
46 是 钯 的 atomic 数字 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29272-29272 |
3413.0 凯文度 是 钯 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28039-28042 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2278-2278 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1890-1890 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1211-1211 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29271-29271 |
1825.0 凯文度 是 钯 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28029-28029 |
"Palladium" 的名 是 钯 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31496-31496 |
roomTempState 钯 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28028-28028 |
钯 是 元素物质 的 subclass |
