| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14710-14710 | 蛋白质 是 营养 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 430-430 | 蓖麻毒素 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 438-438 | Abrin毒素 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 269-269 | 结构蛋白 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 273-273 | 转运蛋白 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 277-277 | 运动蛋白 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 281-281 | 储存蛋白质 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 285-285 | 信号蛋白 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 289-289 | 受体蛋白 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 293-293 | 基因调控蛋白 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 297-297 | 特殊用途蛋白质 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 300-300 | Histone 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1076-1076 | 脂蛋白 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9624-9624 | 抗体 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14714-14714 | 酶 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 251-251 | Hemoglobin 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3731-3731 | Interleukin 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3940-3940 | Troponin 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4919-4919 | Ferritin 是 蛋白质 的 subclass |
|
|