|
|
   Einsteinium
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29036-29036 | 99 是 锿 的 atomic 數字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29044-29051 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1744-1744 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29426-29426 | 測量 1133.0 and 凱文度 是 锿 的 melting 點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29034-29034 | 名 锿 and "Einsteinium" |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29033-29033 | 子類 锿 and ElementalSubstance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29035-29035 | 锿 是 "Es" 的 conventional 簡稱 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21372-21372 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21371-21371 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21370-21370 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29038-29042 |
|
|
|
