| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14710-14710 | Proteina e' uma sub-classe de Nutriente |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 430-430 | RicinToxin e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 438-438 | AbrinToxin e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 269-269 | StructuralProtein e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 273-273 | TransportProtein e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 277-277 | MotorProtein e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 281-281 | StorageProtein e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 285-285 | SignalingProtein e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 289-289 | ReceptorProtein e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 293-293 | GeneRegulatoryProtein e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 297-297 | SpecialPurposeProtein e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 300-300 | Histone e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1076-1076 | Lipoprotein e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9624-9624 | Antibody e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14714-14714 | Enzima e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 251-251 | Hemoglobin e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3731-3731 | Interleukin e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3940-3940 | Troponin e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4919-4919 | Ferritin e' uma sub-classe de Proteina |
|
|