No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29109-29109 |
106 is an atomic number of unnilhexium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29117-29120 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6945-6945 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29108-29108 |
"Unnilhexium" has name unnilhexium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29107-29107 |
Unnilhexium is a subclass of elemental substance |