No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29124-29124 |
107 is an atomic number of unnilseptium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29132-29135 |
|
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 29123-29123 |
"Unnilseptium" has name unnilseptium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29122-29122 |
Unnilseptium is a subclass of elemental substance |