| AminoAcid(amino acid)
| | GABA, alanine, amino_acid, aminoalkanoic_acid, asparagine, aspartic_acid, canavanine, citrulline, creatin, creatine, cysteine, cystine, dihydroxyphenylalanine, dopa, essential_amino_acid, gamma_aminobutyric_acid, glutamic_acid, glutamine, glutaminic_acid, glycine, hydroxyproline, iodoamino_acid, ornithine, proline, sarcosine, serine, thyronine, tyramine, tyrosine |
| appearance as argument number 1 |
|
|
| (documentation AminoAcid EnglishLanguage "Organic acids that are the building blocks of Proteins.") | Mid-level-ontology.kif 8915-8916 | |
| (externalImage AminoAcid "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Aminoacid_general_structure.png") | pictureList.kif 4494-4494 | |
| (externalImage AminoAcid "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Phenylalanin_-_Phenylalanine.svg") | pictureList.kif 4495-4495 | |
| (roomTempState AminoAcid Liquid) | Mid-level-ontology.kif 31827-31827 | roomTempState amino acid and liquid |
| (subclass AminoAcid ChemicalAcid) | Mid-level-ontology.kif 8913-8913 | Amino acid is a subclass of chemical acid |
| (subclass AminoAcid OrganicCompound) | Mid-level-ontology.kif 8914-8914 | Amino acid is a subclass of organic compound |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AminoAcid "氨基酸") | domainEnglishFormat.kif 7239-7239 | |
| (termFormat ChineseTraditionalLanguage AminoAcid "氨基酸") | domainEnglishFormat.kif 7238-7238 | |
| (termFormat EnglishLanguage AminoAcid "amino acid") | domainEnglishFormat.kif 7237-7237 |
| consequent |
|
|
| (=> (instance ?P Protein) (exists (?A) (and (instance ?A AminoAcid) (part ?A ?P)))) |
Mid-level-ontology.kif 8918-8923 |
|
|
|
|