Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Gene(gene) |
| appearance as argument number 1 |
|
| (subclass Gene OrganicObject) | VirusProteinAndCellPart.kif 625-625 | Gene is a subclass of organic object |
| (documentation Gene EnglishLanguage "A Gene is a segment of Nucleotides in one of the chains of a DNAMolecule.") | VirusProteinAndCellPart.kif 626-627 | Gene is a subclass of organic object |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Gene "gene") | VirusProteinAndCellPart.kif 628-628 |
| antecedent |
|
|
| (=> (instance ?G Gene) (exists (?N ?D) (and (instance ?N Nucleotide) (equal ?G ?N) (part ?N ?D) (instance ?D DNAMolecule)))) |
VirusProteinAndCellPart.kif 630-637 | If X is an instance of gene, then there exist Y, Z such that Y is an instance of nucleotide, equal X, Y, Y is a part of Z, and Z is an instance of DNA molecule |
| (=> (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 639-653 | If X is an instance of gene, X is located at Y, and Y is an instance of cell, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of biological process (3) Z is located at Y (4) Z originates at X (5) W is a result of Z (6) W is an instance of nucleotide (7) W is a part of V (8) V is an instance of RNA molecule (9) V is located at Y |
|