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 14735-14736 | |
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ Mouse-cholera-antibody-1f4x.png") | pictureList.kif 7658-7658 | |
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Protein_Composite.jpg") | pictureList.kif 7655-7655 | |
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 60/ Myoglobin.png") | pictureList.kif 7659-7659 | |
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Localisations02eng.jpg") | pictureList.kif 7656-7656 | |
(externalImage Protein "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Proteinviews-1tim.png") | pictureList.kif 7660-7660 | |
(externalImage Protein "http://upload.wikimedia.org/wikipedia/en/0/00/Protein_Dynamics_Cytochrome_C_2NEW_small.gif") | pictureList.kif 6797-6797 | |
(externalImage Protein "http://upload.wikimedia.org/wikipedia/en/b/ba/Peptide_bond.jpg") | pictureList.kif 7657-7657 | |
(subclass Protein Nutrient) | Merge.kif 14734-14734 | Protein is a subclass of nutrient |
appearance as argument number 2 |
appearance as argument number 3 |
(domainSubclass associatedFunctionality 2 Protein) | VirusProteinAndCellPart.kif 342-342 | 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 8918-8923 |
|
consequent |
(=> (instance ?OBJ1 PlasmaMembrane) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Protein)))) |
VirusProteinAndCellPart.kif 356-361 |
|