| 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 8724-8725 | |
| (externalImage AminoAcid "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Aminoacid_general_structure.png") | pictureList.kif 4495-4495 | |
| (externalImage AminoAcid "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Phenylalanin_-_Phenylalanine.svg") | pictureList.kif 4496-4496 | |
| (roomTempState AminoAcid Liquid) | Mid-level-ontology.kif 31594-31594 | roomTempState amino acid and liquid |
| (subclass AminoAcid ChemicalAcid) | Mid-level-ontology.kif 8722-8722 | Amino acid is a subclass of chemical acid |
| (subclass AminoAcid OrganicCompound) | Mid-level-ontology.kif 8723-8723 | Amino acid is a subclass of organic compound |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AminoAcid "氨基酸") | domainEnglishFormat.kif 7236-7236 | |
| (termFormat ChineseTraditionalLanguage AminoAcid "氨基酸") | domainEnglishFormat.kif 7235-7235 | |
| (termFormat EnglishLanguage AminoAcid "amino acid") | domainEnglishFormat.kif 7234-7234 |
| consequent |
|
|
| (=> (instance ?P Protein) (exists (?A) (and (instance ?A AminoAcid) (part ?A ?P)))) |
Mid-level-ontology.kif 8727-8732 |
|
|
|
|