(=>
(instance ?NUCLEUS CellNucleus)
(exists (?CELL)
(and
(instance ?CELL Cell)
(part ?NUCLEUS ?CELL)))) |
Mid-level-ontology.kif 12351-12356 |
If X is an instance of cell nucleus, then there exists Y such that Y is an instance of cell and X is a part of Y |
(=>
(and
(instance ?NUCLEUS ?CLASS)
(subclass ?CLASS CellNucleus)
(initialPart ?CLASS EukaryoticCell))
(exists (?CHROMOTIN)
(and
(instance ?CHROMOTIN Chromotin)
(part ?CHROMOTIN ?NUCLEUS)))) |
VirusProteinAndCellPart.kif 583-591 |
If X is an instance of Y, Y is a subclass of cell nucleus, and every Y is initially part of a eukaryotic cell, then there exists Z such that Z is an instance of chromotin and Z 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
(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 |
(=>
(and
(instance ?CELL MonoploidCell)
(chromosomeNumber ?CELL ?X)
(instance ?COLL MonoploidChromosomeSet)
(located ?COLL ?N)
(instance ?N CellNucleus)
(part ?N ?CELL)
(monoploidNumber ?COLL ?Y))
(equal ?X ?Y)) |
VirusProteinAndCellPart.kif 757-766 |
If All of the following hold: (1) X is an instance of monoploid cell (2) There are Y number of Chromosomes in MonoploidChromosomeSet X. (3) Z is an instance of monoploid chromosome set (4) Z is located at W (5) W is an instance of cell nucleus (6) W is a part of X (7) monoploid number Z and V, then equal Y and V |
(=>
(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 ?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 |
(=>
(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 |
