ArchaealCell(archaea) |
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 | Archaea is a subclass of prokaryotic cell |
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 |