|
|
   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 23947-23953 | |
| (subclass Gamete EukaryoticCell) | Mid-level-ontology.kif 23946-23946 | Gamete est une sous-classe de EukaryoticCell |
| appearance as argument number 2 |
|
|
| (disjoint SomaticCell Gamete) | Mid-level-ontology.kif 23944-23944 | SomaticCell est disjoint de Gamete |
| (subclass HaploidCell Gamete) | VirusProteinAndCellPart.kif 805-805 | HaploidCell est une sous-classe de Gamete |
| (subclass Ovum Gamete) | Mid-level-ontology.kif 23956-23956 | Ovum est une sous-classe de Gamete |
| (subclass Sperm Gamete) | Mid-level-ontology.kif 23960-23960 | Sperm est une sous-classe de Gamete |
| (termFormat EnglishLanguage Gamete "gamete") | domainEnglishFormat.kif 64927-64927 |
| appearance as argument number 3 |
|
|
| (domain haploidNumber 1 Gamete) | VirusProteinAndCellPart.kif 789-789 | Le nombre 1 argument de haploidNumber est une instance 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 794-803 |
|
| 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 23977-23986 |
|
|
|