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 是 有机物体 的 subclass |
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 |