antecedent

(=>     (and         (haploidNumber ?CELL ?I)         (instance ?CELL Gamete)         (part ?N ?CELL)         (instance ?N CellNucleus)         (instance ?COLL Collection)         (located ?COLL ?N)         (memberType ?COLL Chromosome))     (memberCount ?COLL ?I))	VirusProteinAndCellPart.kif 800-809	If There are an integer number of Chromosomes in a Gamete cell a gamete. and the gamete is an instance of gamete and an object is a part of the gamete and the object is an instance of cell nucleus and a collection is an instance of collection and the collection is located at the object and chromosome is a member type of the collection, then the integer is a member count of the collection
(=>     (and         (instance ?CELL HaploidCell)         (chromosomeNumber ?CELL ?X)         (haploidNumber ?CELL ?Y))     (equal ?X ?Y))	VirusProteinAndCellPart.kif 817-822	If a gamete is an instance of haploid cell and There are an integer number of Chromosomes in MonoploidChromosomeSet the gamete. and There are another integer number of Chromosomes in a Gamete cell the gamete., then equal the integer and the other integer

Show simplified definition (without tree view)
Show simplified definition (with tree view)