Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Zygote(zygote) |
| appearance as argument number 1 |
|
| (subclass Zygote EukaryoticCell) | Mid-level-ontology.kif 26277-26277 | Zygote is a subclass of eukaryotic cell |
| (documentation Zygote EnglishLanguage "A zygote is a EukaryoticCell formed by a Fertilization event between two Gametes. The zygote's genome is a combination of the DNAMolecule in each gamete, and contains all of the genetic information necessary to form a new individual Organism. [from Wikipedia]") | Mid-level-ontology.kif 26280-26284 | Zygote is a subclass of eukaryotic cell |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 |
| (=> (and (instance ?B Birth) (origin ?B ?F)) (exists (?Z ?T) (and (instance ?Z Zygote) (earlier ?T (WhenFn ?B)) (holdsDuring ?T (located ?Z ?F))))) |
Mid-level-ontology.kif 26302-26311 | If X is an instance of birth and X originates at Y, then there exist Z, W such that Z is an instance of zygote, W happens earlier than the time of existence of X, and Z is located at Y holds during W |
|