No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 390-390 | ProkaryoticCell est une sous-classe de cellule |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 425-425 | ArchaealCell est une sous-classe de ProkaryoticCell |
![]() |