Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AminoAcid
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 9470-9471
(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 32685-32685 roomTempState amino acid and liquid
(subclass AminoAcid ChemicalAcid) Mid-level-ontology.kif 9468-9468 Amino acid is a subclass of chemical acid
(subclass AminoAcid OrganicCompound) Mid-level-ontology.kif 9469-9469 Amino acid is a subclass of organic compound

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 9473-9478


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners