Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass AminoAcid ChemicalAcid) | Mid-level-ontology.kif 10055-10055 | Amino acid is a subclass of acid |
| (subclass AminoAcid OrganicCompound) | Mid-level-ontology.kif 10056-10056 | Amino acid is a subclass of organic compound |
| (documentation AminoAcid EnglishLanguage "Organic acids that are the building blocks of Proteins.") | Mid-level-ontology.kif 10057-10058 | Amino acid is a subclass of organic compound |
| (roomTempState AminoAcid Liquid) | Mid-level-ontology.kif 34033-34033 | room temperature state amino acid and liquid |
| (externalImage AminoAcid "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Aminoacid_general_structure.png") | pictureList.kif 4494-4494 | room temperature state amino acid and liquid |
| (externalImage AminoAcid "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Phenylalanin_-_Phenylalanine.svg") | pictureList.kif 4495-4495 | room temperature state amino acid and liquid |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?P Protein) (exists (?A) (and (instance ?A AminoAcid) (part ?A ?P)))) |
Mid-level-ontology.kif 10060-10065 | If X is an instance of protein, then there exists Y such that Y is an instance of amino acid and Y is a part of X |
|