| AminoAcid
| |
| 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 | |
| (subclass AminoAcid ChemicalAcid) | Mid-level-ontology.kif 8913-8913 | |
| (subclass AminoAcid OrganicCompound) | Mid-level-ontology.kif 8914-8914 |
| 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 |
|
|
|