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 25085-25091
(subclass Fertilisation Attaching)	Mid-level-ontology.kif 25084-25084	Conceiving is a subclass of attaching
(subclass Fertilisation OrganOrTissueProcess)	Mid-level-ontology.kif 25083-25083	Conceiving is a subclass of organ or tissue process

appearance as argument number 2

(termFormat EnglishLanguage Fertilisation "conceiving")	Mid-level-ontology.kif 25094-25094
(termFormat EnglishLanguage Fertilisation "fertilizing")	Mid-level-ontology.kif 25093-25093

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 25096-25105	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 25120-25125	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 25107-25109	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