| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14688-14688 | 子類 Protein and Nutrient |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 430-430 | 子類 蓖麻毒素 and Protein |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 438-438 | 子類 abrin毒素 and Protein |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 269-269 | 子類 結構蛋白 and Protein |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 273-273 | 子類 轉運蛋白 and Protein |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 277-277 | 子類 運動蛋白 and Protein |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 281-281 | 子類 儲存蛋白質 and Protein |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 285-285 | 子類 信號蛋白 and Protein |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 289-289 | 子類 受體蛋白 and Protein |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 293-293 | 子類 基因調控蛋白 and Protein |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 297-297 | 子類 特殊用途蛋白質 and Protein |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 300-300 | 子類 Histone and Protein |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1077-1077 | 子類 脂蛋白 and Protein |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9625-9625 | 子類 抗體 and Protein |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14692-14692 | 子類 Enzyme and Protein |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 251-251 | 子類 Hemoglobin and Protein |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3731-3731 | 子類 Interleukin and Protein |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3940-3940 | 子類 Troponin and Protein |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4919-4919 | 子類 Ferritin and Protein |
|
|