| appearance as argument number 1 |
|
|
| (documentation Protein ChineseLanguage "这是一种由肽键连接的氨基酸所组成的 Nutrient。") | chinese_format.kif 3450-3450 | |
| (documentation Protein EnglishLanguage "A Nutrient made up of amino acids joined by peptide bonds.") | Merge.kif 14864-14865 | |
| (externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ Mouse_cholera_antibody-1f4x.png") | pictureList.kif 7657-7657 | |
| (externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Protein_Composite.jpg") | pictureList.kif 7654-7654 | |
| (externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 60/ Myoglobin.png") | pictureList.kif 7658-7658 | |
| (externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Localisations02eng.jpg") | pictureList.kif 7655-7655 | |
| (externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Proteinviews-1tim.png") | pictureList.kif 7659-7659 | |
| (externalImage Protein "http://upload.wikimedia.org/wikipedia/en/0/00/Protein_Dynamics_Cytochrome_C_2NEW_small.gif") | pictureList.kif 6796-6796 | |
| (externalImage Protein "http://upload.wikimedia.org/wikipedia/en/b/ba/Peptide_bond.jpg") | pictureList.kif 7656-7656 | |
| (subclass Protein Nutrient) | Merge.kif 14863-14863 | Protein is a subclass of nutrient |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass associatedFunctionality 2 Protein) | VirusProteinAndCellPart.kif 347-347 | The number 2 argument of associated functionality is a subclass of protein |
| antecedent |
|
|
| (=> (instance ?P Protein) (exists (?A) (and (instance ?A AminoAcid) (part ?A ?P)))) |
Mid-level-ontology.kif 9901-9906 |
|
| consequent |
|
|
| (=> (instance ?OBJ1 PlasmaMembrane) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Protein)))) |
VirusProteinAndCellPart.kif 361-366 |
|
|
|