|
|
   Unnilhexium
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29097-29097 | 106 是 Unnilhexium 的 atomic 数字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29105-29108 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6945-6945 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29096-29096 | "Unnilhexium" 的名 是 Unnilhexium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29095-29095 | Unnilhexium 是 元素物质 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60488-60488 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60487-60487 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60486-60486 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29099-29103 |
|
|
|
