No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 391-391 |
ProkaryoticCell e' disjunto de EukaryoticCell |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23946-23946 |
Gamete e' uma sub-classe de EukaryoticCell |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23938-23938 |
SomaticCell e' uma sub-classe de EukaryoticCell |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23992-23992 |
Zygote e' uma sub-classe de EukaryoticCell |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22486-22486 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22485-22485 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22484-22484 |
|