| appearance as argument number 1 |
|
| (documentation Fertilisation EnglishLanguage "Fertilisation or fertilization, also known as generative fertilisation, syngamy and impregnation, is the fusion of gametes to give rise to a new individual organism or offspring and initiate its development. Processes such as insemination or pollination which happen before the fusion of gametes are also sometimes informally called fertilization. [from Wikipedia]") | Mid-level-ontology.kif 23966-23972 | |
| (subclass Fertilisation Attaching) | Mid-level-ontology.kif 23965-23965 | Fertilisation est une sous-classe de attacher |
| (subclass Fertilisation OrganOrTissueProcess) | Mid-level-ontology.kif 23964-23964 | Fertilisation est une sous-classe de organ or tissueprocess |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Fertilisation "conceiving") | Mid-level-ontology.kif 23975-23975 | |
| (termFormat EnglishLanguage Fertilisation "fertilizing") | Mid-level-ontology.kif 23974-23974 |
| antecedent |
|
|
| (=> (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 | |
| (=> (instance ?F Fertilisation) (exists (?Z) (and (instance ?Z Zygote) (result ?F ?Z)))) |
Mid-level-ontology.kif 24001-24006 | |
| (=> (subclass ?F Fertilisation) (capability ?F patient Organism)) |
Mid-level-ontology.kif 23988-23990 |
|
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