ArchaealCell(archaea) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 428-430 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 426-426 | 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 433-433 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 431-431 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 432-432 |