ArchaealCell |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 427-429 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 425-425 | ArchaealCell e' uma sub-classe de ProkaryoticCell |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 432-432 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 430-430 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 431-431 |