(=>
(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 ?VIRUS DNAVirus)
(exists (?MOLECULE)
(and
(instance ?MOLECULE DNAMolecule)
(part ?MOLECULE ?VIRUS)))) |
VirusProteinAndCellPart.kif 108-113 |
If X is an instance of DNA virus, then there exists Y such that Y is an instance of DNA molecule and Y is a part of X |
(=>
(instance ?OBJ1 DNAVirus)
(exists (?OBJ2)
(and
(geneticSubstrateOfVirus ?OBJ1 ?OBJ2)
(instance ?OBJ2 DNAMolecule)))) |
VirusProteinAndCellPart.kif 115-120 |
If X is an instance of DNA virus, then there exists Y such that Y is a genetic substrate of virus of X and Y is an instance of DNA molecule |
(=>
(instance ?N Nucleosome)
(exists (?D ?H)
(and
(instance ?D DNAMolecule)
(instance ?H Histone)
(part ?D ?N)
(part ?H ?N)))) |
VirusProteinAndCellPart.kif 609-616 |
If X is an instance of nucleosome, then there exist Y, Z such that Y is an instance of DNA molecule, Z is an instance of histone, Y is a part of X, and Z is a part of X |
(=>
(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 |
