(=>
(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 |
|
(=>
(and
(instance ?N Nucleotide)
(part ?N ?M))
(or
(instance ?M DNAMolecule)
(instance ?M RNAMolecule))) |
VirusProteinAndCellPart.kif 56-62 |
|
(=>
(instance ?OBJ1 RNAVirus)
(exists (?OBJ2)
(and
(geneticSubstrateOfVirus ?OBJ1 ?OBJ2)
(instance ?OBJ2 RNAMolecule)))) |
VirusProteinAndCellPart.kif 130-135 |
|
(=>
(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 1575-1587 |
|