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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 23946-23952
(subclass Gamete EukaryoticCell) Mid-level-ontology.kif 23945-23945 Gamete e' uma sub-classe de EukaryoticCell

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


(disjoint SomaticCell Gamete) Mid-level-ontology.kif 23943-23943 SomaticCell e' disjunto de Gamete
(subclass HaploidCell Gamete) VirusProteinAndCellPart.kif 804-804 HaploidCell e' uma sub-classe de Gamete
(subclass Ovum Gamete) Mid-level-ontology.kif 23955-23955 Ovum e' uma sub-classe de Gamete
(subclass Sperm Gamete) Mid-level-ontology.kif 23959-23959 Sperm e' uma sub-classe de Gamete
(termFormat EnglishLanguage Gamete "gamete") domainEnglishFormat.kif 64927-64927

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


(domain haploidNumber 1 Gamete) VirusProteinAndCellPart.kif 788-788 O argumento numero 1 de haploidNumber e' uma instancia de 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 23976-23985


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



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