No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29083-29083 |
atomicNumber Unnilpentium and 105 |
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" se chama nome Unnilpentium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29080-29080 |
Unnilpentium e' uma sub-classe de Substancia Elementar |