No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29112-29112 |
atomicNumber Unnilseptium and 107 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29120-29123 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6949-6949 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29111-29111 |
"Unnilseptium" se chama nome Unnilseptium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29110-29110 |
Unnilseptium e' uma sub-classe de Substancia Elementar |