| 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 9921-9922 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4494-4494 | |
| 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. | Mid-level-ontology.kif 33266-33266 | room temperature state amino acid and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9919-9919 | Amino acid is a subclass of chemical acid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9920-9920 | 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 7243-7243 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7242-7242 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7241-7241 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9924-9929 |
|
|
|
|