No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29175-29175 |
atomicNumber Unnilseptium and 107 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29183-29186 |
|
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 29174-29174 |
"Unnilseptium" s'appele nom Unnilseptium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29173-29173 |
Unnilseptium est une sous-classe de substance �l�mentaire |