Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Nucleotide(nucleotide) |
| appearance as argument number 1 |
|
| (subclass Nucleotide Monomer) | VirusProteinAndCellPart.kif 50-50 | Nucleotide is a subclass of monomer |
| (subclass Nucleotide OrganicObject) | VirusProteinAndCellPart.kif 51-51 | Nucleotide is a subclass of organic object |
| (documentation Nucleotide EnglishLanguage "Nucleotides are organic molecules composed of a nitrogenous base, a pentose sugar and a phosphate. They serve as monomeric units of the nucleic acid polymers – deoxyribonucleic acid (DNA) and ribonucleic acid (RNA), both of which are essential biomolecules within all life_forms on Earth.[Wikipedia]") | VirusProteinAndCellPart.kif 53-56 | Nucleotide is a subclass of organic object |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Nucleotide "nucleotide") | VirusProteinAndCellPart.kif 52-52 |
| antecedent |
|
|
| (=> (and (instance ?N Nucleotide) (part ?N ?M)) (or (instance ?M DNAMolecule) (instance ?M RNAMolecule))) |
VirusProteinAndCellPart.kif 58-64 | If X is an instance of nucleotide and X is a part of Y, then Y is an instance of DNA molecule or Y is an instance of RNA molecule |
| consequent |
|
|
| (=> (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 |
|