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 | Gene e' uma sub-classe de Objeto Organico |
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 |