TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Gamete EukaryoticCell)	Mid-level-ontology.kif 26231-26231	Gamete is a subclass of eukaryotic cell
(documentation Gamete EnglishLanguage "A Gamete is a haploid cell that fuses with another haploid cell during fertilization in organisms that reproduce sexually.Gametes are an organism's reproductive cells, also referred to as sex cells. In species that produce two morphologically distinct types of gametes, and in which each individual produces only one type, a female is any individual that produces the larger type of gamete—called an Ovum and a male produces the smaller type, called a Sperm.[Wikipedia]")	Mid-level-ontology.kif 26232-26238	Gamete is a subclass of eukaryotic cell

appearance as argument number 2

(disjoint SomaticCell Gamete)	Mid-level-ontology.kif 26229-26229	Somatic cell is disjoint from gamete
(termFormat EnglishLanguage Gamete "gamete")	Mid-level-ontology.kif 26239-26239	Somatic cell is disjoint from gamete
(subclass Ovum Gamete)	Mid-level-ontology.kif 26241-26241	Ovum is a subclass of gamete
(subclass Sperm Gamete)	Mid-level-ontology.kif 26245-26245	Sperm is a subclass of gamete
(subclass HaploidCell Gamete)	VirusProteinAndCellPart.kif 789-789	Haploid cell is a subclass of gamete

appearance as argument number 3

(domain haploidNumber 1 Gamete)

The number 1 argument of haploid number is an instance of gamete

antecedent

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

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

consequent

(=>
    (instance ?F Fertilisation)
    (exists (?G1 ?G2)
        (and
            (instance ?G1 Gamete)
            (instance ?G2 Gamete)
            (not
                (equal ?G1 ?G2))
            (objectAttached ?F ?G1)
            (objectAttached ?F ?G2))))

If X is an instance of conceiving, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of gamete (3) Z is an instance of gamete (4) equal Y (5) Z (6) X attaches Y to another object (7) X attaches Z to another object