No TPTP formula. May not be expressible in strict first order. | Merge.kif 15106-15106 | Cell is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 380-380 | Eukaryotic cell is a subclass of cell |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 390-390 | Prokaryotic cell is a subclass of cell |