TreeView Knowledge Base Browser

appearance as argument number 2

antecedent

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

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

consequent

(=> (and (instance ?E EmmerWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell))	Economy.kif 4204-4209	If X is an instance of emmer wheat grass, Y is a part of X, and Y is an instance of Z, then Z is a subclass of tetraploid cell
(=> (and (instance ?E DurumWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell))	Economy.kif 4236-4241	If X is an instance of durum wheat grass, Y is a part of X, and Y is an instance of Z, then Z is a subclass of tetraploid cell
(=> (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

(subclass TetraploidCell SomaticCell)	VirusProteinAndCellPart.kif 917-917	Tetraploid cell is a subclass of somatic cell
(subclass TetraploidCell Zygote)	VirusProteinAndCellPart.kif 918-918	Tetraploid cell is a subclass of zygote
(documentation TetraploidCell EnglishLanguage "TetraploidCell refers to a cell which has four (4) sets of homologous Chromosomes.")	VirusProteinAndCellPart.kif 919-920	Tetraploid cell is a subclass of zygote