| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15106-15106 | 子類 Cell and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 380-380 | 子類 真核細胞 and Cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 390-390 | 子類 原核細胞 and Cell |
|
|