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 24235-24241 | |
(subclass Gamete EukaryoticCell) | Mid-level-ontology.kif 24234-24234 |
appearance as argument number 2 |
(disjoint SomaticCell Gamete) | Mid-level-ontology.kif 24232-24232 | |
(subclass HaploidCell Gamete) | VirusProteinAndCellPart.kif 804-804 | |
(subclass Ovum Gamete) | Mid-level-ontology.kif 24244-24244 | |
(subclass Sperm Gamete) | Mid-level-ontology.kif 24248-24248 | |
(termFormat EnglishLanguage Gamete "gamete") | domainEnglishFormat.kif 64952-64952 |
appearance as argument number 3 |
(domain haploidNumber 1 Gamete) | VirusProteinAndCellPart.kif 788-788 |
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 24265-24274 |