No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 391-391 |
ProkaryoticCell est disjoint de EukaryoticCell |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23946-23946 |
Gamete est une sous-classe de EukaryoticCell |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23938-23938 |
SomaticCell est une sous-classe de EukaryoticCell |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23992-23992 |
Zygote est une sous-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 |
|