No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28098-28098 |
47 是 銀 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29325-29325 |
測量 2485.0 and 凱文度 是 銀 的 boiling 點 |
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 |
測量 1235.08 and 凱文度 是 銀 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28096-28096 |
名 銀 and "Silver" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31529-31529 |
roomTempState 銀 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28095-28095 |
子類 銀 and ElementalSubstance |