(=>
(and
(instance ?COLL CollectionOfObjects)
(memberType ?COLL Chromosome)
(member ?M ?COLL)
(part ?M EmmerWheatGrass))
(exists (?A ?B ?X ?Y)
(and
(subCollection ?A ?COLL)
(instance ?A HomologousChromosomeSet)
(memberType ?A ?X)
(initialPart ?X EinkornWheatGrass)
(subCollection ?B ?COLL)
(instance ?B HomologousChromosomeSet)
(memberType ?B ?Y)
(initialPart ?Y AegilopsGrass)))) |
Economy.kif 4211-4226 |
If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of emmer wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a einkorn wheat grass (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops grass |
(=>
(and
(instance ?COLL CollectionOfObjects)
(memberType ?COLL Chromosome)
(member ?M ?COLL)
(part ?M DurumWheatGrass))
(exists (?A ?B ?X ?Y)
(and
(subCollection ?A ?COLL)
(instance ?A HomologousChromosomeSet)
(memberType ?A ?X)
(initialPart ?X TriticumUrartu)
(subCollection ?B ?COLL)
(instance ?B HomologousChromosomeSet)
(memberType ?B ?Y)
(initialPart ?Y AegilopsSpeltoides)))) |
Economy.kif 4243-4258 |
If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of durum wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a Triticum urartu (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops Speltoides |
(=>
(and
(instance ?COLL CollectionOfObjects)
(memberType ?COLL Chromosome)
(member ?M ?COLL)
(part ?M CommonWheatGrass))
(exists (?A ?B ?X ?Y)
(and
(subCollection ?A ?COLL)
(instance ?A HomologousChromosomeSet)
(memberType ?A ?X)
(initialPart ?X EmmerWheatGrass)
(subCollection ?B ?COLL)
(instance ?B HomologousChromosomeSet)
(memberType ?B ?Y)
(initialPart ?Y AegilopsTauschii)))) |
Economy.kif 4302-4317 |
If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of common wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a emmer wheat grass (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops Tauschii |
(=>
(instance ?X Chromosome)
(exists (?N)
(and
(instance ?N CellNucleus)
(located ?X ?N)))) |
VirusProteinAndCellPart.kif 566-571 |
If X is an instance of chromosome, then there exists Y such that Y is an instance of cell nucleus and X is located at Y |
(=>
(instance ?X Chromosome)
(exists (?C)
(and
(instance ?C Chromotin)
(part ?C ?X)))) |
VirusProteinAndCellPart.kif 573-578 |
If X is an instance of chromosome, then there exists Y such that Y is an instance of chromotin and Y is a part of X |
(=>
(and
(chromosomeNumber ?C ?I)
(part ?N ?C)
(instance ?N CellNucleus)
(instance ?COLL CollectionOfObjects)
(located ?COLL ?N)
(memberType ?COLL Chromosome))
(memberCount ?COLL ?I)) |
VirusProteinAndCellPart.kif 687-695 |
If All of the following hold: (1) There are X number of Chromosomes in MonoploidChromosomeSet Y. (2) Z is a part of Y (3) Z is an instance of cell nucleus (4) W is an instance of collection (5) W is located at Z (6) chromosome is a member type of W, then X is a member count of W |
(=>
(and
(instance ?COLL MonoploidChromosomeSet)
(memberType ?COLL Chromosome)
(located ?COLL ?N)
(instance ?N CellNucleus)
(part ?N EukaryoticCell)
(member ?X ?COLL)
(member ?Y ?COLL)
(not
(equal ?X ?Y)))
(not
(homologousChromosome ?X ?Y))) |
VirusProteinAndCellPart.kif 703-715 |
If All of the following hold: (1) X is an instance of monoploid chromosome set (2) chromosome is a member type of X (3) X is located at Y (4) Y is an instance of cell nucleus (5) Y is a part of eukaryotic cell (6) Z is a member of X (7) W is a member of X (8) equal Z and W, then Z and W are homologous chromosomes |
(=>
(and
(haploidNumber ?CELL ?I)
(instance ?CELL Gamete)
(part ?N ?CELL)
(instance ?N CellNucleus)
(instance ?COLL CollectionOfObjects)
(located ?COLL ?N)
(memberType ?COLL Chromosome))
(memberCount ?COLL ?I)) |
VirusProteinAndCellPart.kif 778-787 |
If All of the following hold: (1) There are X number of Chromosomes in a Gamete cell Y. (2) Y is an instance of gamete (3) Z is a part of Y (4) Z is an instance of cell nucleus (5) W is an instance of collection (6) W is located at Z (7) chromosome is a member type of W, then X is a member count of W |
(=>
(and
(instance ?COLL HomologousChromosomeSet)
(memberType ?COLL Chromosome)
(located ?COLL ?N)
(instance ?N CellNucleus)
(part ?N EukaryoticCell)
(instance ?A MonoploidChromosomeSet)
(subCollection ?A ?COLL))
(chromosomeSetCount ?A ?COLL 2)) |
VirusProteinAndCellPart.kif 850-859 |
If All of the following hold: (1) X is an instance of homologous chromosome set (2) chromosome is a member type of X (3) X is located at Y (4) Y is an instance of cell nucleus (5) Y is a part of eukaryotic cell (6) Z is an instance of monoploid chromosome set (7) Z is a proper sub-collection of X, then There are 2 number of Z MonoploidChromosomeSet in CollectionOfObjects X. |
(=>
(and
(instance ?COLL HomologousChromosomeSet)
(memberType ?COLL Chromosome)
(located ?COLL ?N)
(instance ?N CellNucleus)
(part ?N EukaryoticCell)
(subCollection ?X ?COLL)
(subCollection ?Y ?COLL)
(not
(equal ?X ?Y)))
(homologousChromosomePair ?X ?Y)) |
VirusProteinAndCellPart.kif 861-872 |
If All of the following hold: (1) X is an instance of homologous chromosome set (2) chromosome is a member type of X (3) X is located at Y (4) Y is an instance of cell nucleus (5) Y is a part of eukaryotic cell (6) Z is a proper sub-collection of X (7) W is a proper sub-collection of X (8) equal Z and W, then members of MonoploidChromosomeSet Z and members of MonoploidChromosomeSet W are homologoousChromosome pairs. |
(=>
(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 ?CELL TriploidCell)
(instance ?N CellNucleus)
(part ?N ?CELL)
(located ?COLL ?N)
(instance ?COLL CollectionOfObjects)
(memberType ?COLL Chromosome)
(instance ?A MonoploidChromosomeSet)
(subCollection ?A ?COLL))
(chromosomeSetCount ?A ?COLL 3)) |
VirusProteinAndCellPart.kif 905-915 |
If All of the following hold: (1) X is an instance of triploid cell (2) Y is an instance of cell nucleus (3) Y is a part of X (4) Z is located at Y (5) Z is an instance of collection (6) chromosome is a member type of Z (7) W is an instance of monoploid chromosome set (8) W is a proper sub-collection of Z, then There are 3 number of W MonoploidChromosomeSet in CollectionOfObjects Z. |
(=>
(and
(instance ?COLL CollectionOfObjects)
(memberType ?COLL Chromosome)
(instance ?A MonoploidChromosomeSet)
(subCollection ?A ?COLL)
(chromosomeSetCount ?A ?COLL 4)
(located ?COLL ?N)
(instance ?N CellNucleus)
(part ?N ?CELL))
(instance ?CELL TetraploidCell)) |
VirusProteinAndCellPart.kif 923-933 |
If All of the following hold: (1) X is an instance of collection (2) chromosome is a member type of X (3) Y is an instance of monoploid chromosome set (4) Y is a proper sub-collection of X (5) There are 4 number of Y MonoploidChromosomeSet in CollectionOfObjects X. (6) X is located at Z (7) Z is an instance of cell nucleus (8) Z is a part of W, then W is an instance of tetraploid cell |
(=>
(and
(instance ?CELL TetraploidCell)
(part ?N ?CELL)
(instance ?N CellNucleus)
(located ?COLL ?N)
(instance ?COLL CollectionOfObjects)
(memberType ?COLL Chromosome))
(exists (?A ?B)
(and
(instance ?A HomologousChromosomeSet)
(subCollection ?A ?COLL)
(instance ?B HomologousChromosomeSet)
(subCollection ?B ?COLL)
(not
(equal ?A ?B))))) |
VirusProteinAndCellPart.kif 935-950 |
If All of the following hold: (1) X is an instance of tetraploid cell (2) Y is a part of X (3) Y is an instance of cell nucleus (4) Z is located at Y (5) Z is an instance of collection (6) chromosome is a member type of Z, then All of the following hold: (1) there exist W (2) V such that W is an instance of homologous chromosome set (3) W is a proper sub-collection of Z (4) V is an instance of homologous chromosome set (5) V is a proper sub-collection of Z (6) equal W (7) V |
(=>
(and
(instance ?CELL PentaploidCell)
(instance ?N CellNucleus)
(part ?N ?CELL)
(located ?COLL ?N)
(instance ?COLL CollectionOfObjects)
(memberType ?COLL Chromosome)
(instance ?A MonoploidChromosomeSet)
(subCollection ?A ?COLL))
(chromosomeSetCount ?A ?COLL 5)) |
VirusProteinAndCellPart.kif 958-968 |
If All of the following hold: (1) X is an instance of pentaploid cell (2) Y is an instance of cell nucleus (3) Y is a part of X (4) Z is located at Y (5) Z is an instance of collection (6) chromosome is a member type of Z (7) W is an instance of monoploid chromosome set (8) W is a proper sub-collection of Z, then There are 5 number of W MonoploidChromosomeSet in CollectionOfObjects Z. |
(=>
(and
(instance ?COLL CollectionOfObjects)
(memberType ?COLL Chromosome)
(instance ?A MonoploidChromosomeSet)
(subCollection ?A ?COLL)
(chromosomeSetCount ?A ?COLL 6)
(located ?COLL ?N)
(instance ?N CellNucleus)
(part ?N ?CELL))
(instance ?CELL HexaploidCell)) |
VirusProteinAndCellPart.kif 976-986 |
If All of the following hold: (1) X is an instance of collection (2) chromosome is a member type of X (3) Y is an instance of monoploid chromosome set (4) Y is a proper sub-collection of X (5) There are 6 number of Y MonoploidChromosomeSet in CollectionOfObjects X. (6) X is located at Z (7) Z is an instance of cell nucleus (8) Z is a part of W, then W is an instance of hexaploid cell |
(=>
(and
(instance ?CELL HexaploidCell)
(part ?N ?CELL)
(instance ?N CellNucleus)
(located ?COLL ?N)
(instance ?COLL CollectionOfObjects)
(memberType ?COLL Chromosome))
(exists (?A ?B ?C)
(and
(instance ?A HomologousChromosomeSet)
(subCollection ?A ?COLL)
(instance ?B HomologousChromosomeSet)
(subCollection ?B ?COLL)
(instance ?C HomologousChromosomeSet)
(subCollection ?C ?COLL)
(not
(equal ?A ?B))
(not
(equal ?A ?C))
(not
(equal ?B ?C))))) |
VirusProteinAndCellPart.kif 988-1009 |
If All of the following hold: (1) X is an instance of hexaploid cell (2) Y is a part of X (3) Y is an instance of cell nucleus (4) Z is located at Y (5) Z is an instance of collection (6) chromosome is a member type of Z, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of homologous chromosome set (3) W is a proper sub-collection of Z (4) V is an instance of homologous chromosome set (5) V is a proper sub-collection of Z (6) U is an instance of homologous chromosome set (7) U is a proper sub-collection of Z (8) equal W (9) V (10) equal W (11) U (12) equal V (13) U |
Chromosome