No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29097-29097 |
atomicNumber Unnilhexium and 106 |
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" se chama nome Unnilhexium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29095-29095 |
Unnilhexium e' uma sub-classe de Substancia Elementar |