TreeView Knowledge Base Browser

appearance as argument number 1

(subclass PentaploidCell SomaticCell)	VirusProteinAndCellPart.kif 952-952	Pentaploid cell is a subclass of somatic cell
(subclass PentaploidCell Zygote)	VirusProteinAndCellPart.kif 953-953	Pentaploid cell is a subclass of zygote
(documentation PentaploidCell EnglishLanguage "PentaploidCell refers to a cell which has five (5) sets of homologous Chromosomes.")	VirusProteinAndCellPart.kif 954-955	Pentaploid cell is a subclass of zygote

appearance as argument number 2

antecedent

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

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.