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 641-642 | |
(subclass Gene OrganicObject) | VirusProteinAndCellPart.kif 640-640 | 子類 Gene and OrganicObject |
appearance as argument number 2 |
(termFormat EnglishLanguage Gene "gene") | VirusProteinAndCellPart.kif 643-643 |
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 654-668 | |
(=> (instance ?G Gene) (exists (?N ?D) (and (instance ?N Nucleotide) (equal ?G ?N) (part ?N ?D) (instance ?D DNAMolecule)))) |
VirusProteinAndCellPart.kif 645-652 |