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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AminoAcid

Sigma KEE - AminoAcid
AminoAcid

appearance as argument number 1
-------------------------


(documentation AminoAcid EnglishLanguage "Organic acids that are the building blocks of Proteins.") Mid-level-ontology.kif 8300-8301
(externalImage AminoAcid "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Aminoacid_general_structure.png") pictureList.kif 4496-4496
(externalImage AminoAcid "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Phenylalanin_-_Phenylalanine.svg") pictureList.kif 4497-4497
(subclass AminoAcid ChemicalAcid) Mid-level-ontology.kif 8298-8298
(subclass AminoAcid OrganicCompound) Mid-level-ontology.kif 8299-8299

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage AminoAcid "氨基酸") domainEnglishFormat.kif 7245-7245
(termFormat ChineseTraditionalLanguage AminoAcid "氨基酸") domainEnglishFormat.kif 7244-7244
(termFormat EnglishLanguage AminoAcid "amino acid") domainEnglishFormat.kif 7243-7243

consequent
-------------------------


(=>
    (instance ?P Protein)
    (exists (?A)
        (and
            (instance ?A AminoAcid)
            (part ?A ?P))))
Mid-level-ontology.kif 8303-8308


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

Show without tree


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