Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Fertilisation
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Fertilisation OrganOrTissueProcess) | Mid-level-ontology.kif 26249-26249 | Conceiving is a subclass of organ or tissue process |
| (subclass Fertilisation Attaching) | Mid-level-ontology.kif 26250-26250 | Conceiving is a subclass of attaching |
| (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 26251-26257 | Conceiving is a subclass of attaching |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Fertilisation "fertilizing") | Mid-level-ontology.kif 26259-26259 | |
| (termFormat EnglishLanguage Fertilisation "conceiving") | Mid-level-ontology.kif 26260-26260 |
| 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 26262-26271 | If X is an instance of conceiving, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of gamete (3) Z is an instance of gamete (4) equal Y (5) Z (6) X attaches Y to another object (7) X attaches Z to another object |
| (=> (subclass ?F Fertilisation) (capability ?F patient Organism)) |
Mid-level-ontology.kif 26273-26275 | If X is a subclass of conceiving, then organism is capable of doing X as a patient |
| (=> (instance ?F Fertilisation) (exists (?Z) (and (instance ?Z Zygote) (result ?F ?Z)))) |
Mid-level-ontology.kif 26286-26291 | If X is an instance of conceiving, then there exists Y such that Y is an instance of zygote and Y is a result of X |
|