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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8697-8698
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4495-4495
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4496-4496
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31562-31562 roomTempState amino acid and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8695-8695 Amino acid is a subclass of chemical acid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8696-8696 Amino acid is a subclass of organic compound

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7236-7236
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7235-7235
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7234-7234

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8700-8705


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