Gene
|
|
appearance as argument number 1 |
(documentation Gene EnglishLanguage "A Gene is a segment of Nucleotides in one of the chains of a DNAMolecule.") | VirusProteinAndCellPart.kif 642-643 | |
(subclass Gene OrganicObject) | VirusProteinAndCellPart.kif 641-641 |
appearance as argument number 2 |
(termFormat EnglishLanguage Gene "gene") | VirusProteinAndCellPart.kif 644-644 |
antecedent |
(=> (and (instance ?G Gene) (located ?G ?C) (instance ?C Cell)) (exists (?B ?N ?R) (and (instance ?B BiologicalProcess) (eventLocated ?B ?C) (origin ?B ?G) (result ?B ?N) (instance ?N Nucleotide) (part ?N ?R) (instance ?R RNAMolecule) (located ?R ?C)))) |
VirusProteinAndCellPart.kif 655-669 | |
(=> (instance ?G Gene) (exists (?N ?D) (and (instance ?N Nucleotide) (equal ?G ?N) (part ?N ?D) (instance ?D DNAMolecule)))) |
VirusProteinAndCellPart.kif 646-653 |