| AminoAcid
| |
| appearance as argument number 1 |
|
|
| (documentation AminoAcid EnglishLanguage "Organic acids that are the building blocks of Proteins.") | Mid-level-ontology.kif 9903-9904 | |
| (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 33509-33509 | |
| (subclass AminoAcid ChemicalAcid) | Mid-level-ontology.kif 9901-9901 | |
| (subclass AminoAcid OrganicCompound) | Mid-level-ontology.kif 9902-9902 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AminoAcid "氨基酸") | domainEnglishFormat.kif 7243-7243 | |
| (termFormat ChineseTraditionalLanguage AminoAcid "氨基酸") | domainEnglishFormat.kif 7242-7242 | |
| (termFormat EnglishLanguage AminoAcid "amino acid") | domainEnglishFormat.kif 7241-7241 |
| consequent |
|
|
| (=> (instance ?P Protein) (exists (?A) (and (instance ?A AminoAcid) (part ?A ?P)))) |
Mid-level-ontology.kif 9906-9911 |
|
|
|