Fertilisation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Fertilisation

Fertilisation(conceiving)

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 24254-24260
(subclass Fertilisation Attaching)	Mid-level-ontology.kif 24253-24253	Conceiving is a subclass of attaching
(subclass Fertilisation OrganOrTissueProcess)	Mid-level-ontology.kif 24252-24252	Conceiving is a subclass of organ or tissue process

appearance as argument number 2

(termFormat EnglishLanguage Fertilisation "conceiving")	Mid-level-ontology.kif 24263-24263
(termFormat EnglishLanguage Fertilisation "fertilizing")	Mid-level-ontology.kif 24262-24262

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 24265-24274	If a process is an instance of conceiving, then there exist an entity and another entity such that the entity is an instance of gamete and the other entity is an instance of gamete and the entity is not equal to the other entity and the process attaches the entity to another object and the process attaches the other entity to another object
(=> (instance ?F Fertilisation) (exists (?Z) (and (instance ?Z Zygote) (result ?F ?Z))))	Mid-level-ontology.kif 24289-24294	If a process is an instance of conceiving, then there exists an entity such that the entity is an instance of zygote and the entity is a result of the process
(=> (subclass ?F Fertilisation) (capability ?F patient Organism))	Mid-level-ontology.kif 24276-24278	If a kind of process is a subclass of conceiving, then organism is capable of doing a kind of process as a patient

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