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