Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Zygote
Zygote(zygote)

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 23434-23438
(subclass Zygote Cell) Mid-level-ontology.kif 23431-23431 Zygote is a subclass of cell

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Zygote "zygote") Mid-level-ontology.kif 23432-23432

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 23458-23467
(=>
    (instance ?F Fertilisation)
    (exists (?Z)
        (and
            (instance ?Z Zygote)
            (result ?F ?Z))))
Mid-level-ontology.kif 23440-23445


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