Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Gamete

Sigma KEE - Gamete
Gamete

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 24004-24010
(subclass Gamete EukaryoticCell) Mid-level-ontology.kif 24003-24003 子類 Gamete and 真核細胞

appearance as argument number 2
-------------------------


(disjoint SomaticCell Gamete) Mid-level-ontology.kif 24001-24001 不相交的 SomaticCell and Gamete
(subclass HaploidCell Gamete) VirusProteinAndCellPart.kif 804-804 子類 HaploidCell and Gamete
(subclass Ovum Gamete) Mid-level-ontology.kif 24013-24013 子類 Ovum and Gamete
(subclass Sperm Gamete) Mid-level-ontology.kif 24017-24017 子類 Sperm and Gamete
(termFormat EnglishLanguage Gamete "gamete") domainEnglishFormat.kif 64929-64929

appearance as argument number 3
-------------------------


(domain haploidNumber 1 Gamete) VirusProteinAndCellPart.kif 788-788 haploidNumber, 1 and 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 793-802

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 24034-24043


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners