(=>
(and
(instance ?CELL MonoploidCell)
(instance ?N CellNucleus)
(part ?N ?CELL))
(exists (?COLL)
(and
(instance ?COLL MonoploidChromosomeSet)
(located ?COLL ?N)
(not
(exists (?SET)
(and
(instance ?SET MonoploidChromosomeSet)
(not
(equal ?SET ?COLL))
(located ?SET ?N))))))) |
VirusProteinAndCellPart.kif 740-755 |
If X is an instance of monoploid cell, Y is an instance of cell nucleus, and Y is a part of X, then there exists Z such that Z is an instance of monoploid chromosome set, Z is located at Y, there doesn't exist W such that W is an instance of monoploid chromosome set, equal W, Z, and W is located at Y |
