AppleIPhoneOS13
|
|
appearance as argument number 1 |
(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 23995-23999 | |
(subclass Zygote EukaryoticCell) | Mid-level-ontology.kif 23992-23992 | Zygote è una sottoclasse di EukaryoticCell |
appearance as argument number 2 |
consequent |
(=> (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 24019-24028 |
|
(=> (instance ?F Fertilisation) (exists (?Z) (and (instance ?Z Zygote) (result ?F ?Z)))) |
Mid-level-ontology.kif 24001-24006 |