No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29083-29083 |
105 is an atomic number of unnilpentium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29091-29093 |
|
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 29081-29081 |
"Unnilpentium" has name unnilpentium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29080-29080 |
Unnilpentium is a subclass of elemental substance |