(=>
(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 |
(=>
(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 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 |
