(=>
(instance ?R RTPCRTest)
(hasPurpose ?R
(exists (?M ?A ?T ?MEAS)
(and
(instance ?M Measuring)
(patient ?M ?RNA)
(instance ?RNA RNAMolecule)
(holdsDuring ?T
(measure ?RNA ?MEAS))
(knows ?A
(holdsDuring ?T
(measure ?RNA ?MEAS))))))) |
Medicine.kif 1559-1571 |
If X is an instance of Reverse transcription polymerase chain reaction, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of measuring, U is a patient of Y, U is an instance of RNA molecule, the measure of U is V holds during W, and Z knows the measure of U is V holds during W |
(=>
(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 |
(=>
(instance ?OBJ1 RNAVirus)
(exists (?OBJ2)
(and
(geneticSubstrateOfVirus ?OBJ1 ?OBJ2)
(instance ?OBJ2 RNAMolecule)))) |
VirusProteinAndCellPart.kif 134-139 |
If X is an instance of RNA virus, then there exists Y such that Y is a genetic substrate of virus of X and Y is an instance of RNA 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 |
