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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 8696-8697
(externalImage AminoAcid "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Aminoacid_general_structure.png") pictureList.kif 4495-4495
(externalImage AminoAcid "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Phenylalanin_-_Phenylalanine.svg") pictureList.kif 4496-4496
(roomTempState AminoAcid Liquid) Mid-level-ontology.kif 31558-31558 roomTempState AminoAcid and Liquid
(subclass AminoAcid ChemicalAcid) Mid-level-ontology.kif 8694-8694 AminoAcid e' uma sub-classe de ChemicalAcid
(subclass AminoAcid OrganicCompound) Mid-level-ontology.kif 8695-8695 AminoAcid e' uma sub-classe de OrganicCompound

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


(termFormat ChineseLanguage AminoAcid "氨基酸") domainEnglishFormat.kif 7236-7236
(termFormat ChineseTraditionalLanguage AminoAcid "氨基酸") domainEnglishFormat.kif 7235-7235
(termFormat EnglishLanguage AminoAcid "amino acid") domainEnglishFormat.kif 7234-7234

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


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


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