No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29095-29095 |
105 is an atomic number of unnilpentium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29103-29105 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6947-6947 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8182-8182 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2051-2051 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29093-29093 |
"Unnilpentium" has name unnilpentium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29092-29092 |
Unnilpentium is a subclass of elemental substance |