(=>
(and
(instance ?A AegilopsGrass)
(part ?C ?A)
(instance ?C ?CLASS))
(subclass ?CLASS DiploidCell)) |
Economy.kif 4172-4177 |
If X is an instance of Aegilops grass, Y is a part of X, and Y is an instance of Z, then Z is a subclass of diploid cell |
(=>
(and
(instance ?E EinkornWheatGrass)
(part ?C ?E)
(instance ?E ?CLASS))
(subclass ?CLASS DiploidCell)) |
Economy.kif 4266-4271 |
If X is an instance of einkorn wheat grass, Y is a part of X, and X is an instance of Z, then Z is a subclass of diploid cell |
(=>
(and
(instance ?E TriticumUrartu)
(part ?C ?E)
(instance ?E ?CLASS))
(subclass ?CLASS DiploidCell)) |
Economy.kif 4280-4285 |
If X is an instance of Triticum urartu, Y is a part of X, and X is an instance of Z, then Z is a subclass of diploid cell |
(=>
(and
(instance ?COLL CollectionOfObjects)
(memberType ?COLL Chromosome)
(subCollection ?A ?COLL)
(chromosomeSetCount ?A ?COLL 2)
(located ?COLL ?N)
(instance ?N CellNucleus)
(part ?N ?CELL))
(instance ?CELL DiploidCell)) |
VirusProteinAndCellPart.kif 880-889 |
If All of the following hold: (1) X is an instance of collection (2) chromosome is a member type of X (3) Y is a proper sub-collection of X (4) There are 2 number of Y MonoploidChromosomeSet in CollectionOfObjects X. (5) X is located at Z (6) Z is an instance of cell nucleus (7) Z is a part of W, then W is an instance of diploid cell |
(=>
(and
(instance ?COLL HomologousChromosomeSet)
(located ?COLL ?N)
(instance ?N CellNucleus)
(part ?N ?CELL))
(instance ?CELL DiploidCell)) |
VirusProteinAndCellPart.kif 891-897 |
If X is an instance of homologous chromosome set, X is located at Y, Y is an instance of cell nucleus, and Y is a part of Z, then Z is an instance of diploid cell |
