| Einsteinium(锿)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28985-28985 | 99 是 锿 的 atomic 数字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28993-29000 | |
| 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 29375-29375 | 1133.0 凯文度 是 锿 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28983-28983 | "Einsteinium" 的名 是 锿 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28982-28982 | 锿 是 元素物质 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28984-28984 | 锿 是 "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 28987-28991 |
|
|
|