Gamete - Sigma Knowledge base Browser

appearance as argument number 1

(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 25612-25618
(subclass Gamete EukaryoticCell)	Mid-level-ontology.kif 25611-25611	Gamete is a subclass of eukaryotic cell

appearance as argument number 2

(disjoint SomaticCell Gamete)	Mid-level-ontology.kif 25609-25609	Somatic cell is disjoint from gamete
(subclass HaploidCell Gamete)	VirusProteinAndCellPart.kif 811-811	Haploid cell is a subclass of gamete
(subclass Ovum Gamete)	Mid-level-ontology.kif 25621-25621	Ovum is a subclass of gamete
(subclass Sperm Gamete)	Mid-level-ontology.kif 25625-25625	Sperm is a subclass of gamete
(termFormat EnglishLanguage Gamete "gamete")	domainEnglishFormat.kif 64950-64950	Sperm is a subclass of gamete

appearance as argument number 3

(domain haploidNumber 1 Gamete)

VirusProteinAndCellPart.kif 795-795

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 Collection)
        (located ?COLL ?N)
        (memberType ?COLL Chromosome))
    (memberCount ?COLL ?I))

VirusProteinAndCellPart.kif 800-809

consequent

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

Mid-level-ontology.kif 25642-25651