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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AsexualReproduction
AsexualReproduction(asexual reproduction)agamic, agamogenesis, agamogenetic, agamous, allogamy, androgenesis, androgeny, apogametic, apogamic, apogamous, apogamy, apomictic, apomictical, apomixis, asexual, asexual_reproduction, asexually, autogamy, biomedical_cloning, blastogenesis, blastogenetic, budding, cleistogamy, cloning, cross-pollination, fission, fissiparity, gemmation, gynogenesis, heterosporous, heterospory, homosporous, homospory, human_reproductive_cloning, inoculate, monogenesis, nonsexual, parthenocarpy, parthenogenesis, parthenogenetic, parthenogeny, pollenation, pollination, propagate, pullulation, reproductive_cloning, schizogony, self-fertilisation, self-fertilization, self-pollination...

appearance as argument number 1
-------------------------


s__documentation(s__AsexualReproduction,s__ChineseLanguage,'"这是无性的生物繁殖 Process。"')

chinese_format.kif 2919-2919
s__documentation(s__AsexualReproduction,s__EnglishLanguage,'"Asexual Processes of biological reproduction."')

Merge.kif 9958-9959
s__instance(s__AsexualReproduction,s__Class)

s__instance(s__Replication,s__Class)

s__subclass(s__AsexualReproduction,s__Replication)

Merge.kif 9956-9956 Asexual reproduction is a subclass of replication

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


s__disjoint(s__SexualReproduction,s__AsexualReproduction)

Merge.kif 9942-9942 Sexual reproduction is disjoint from asexual reproduction
s__termFormat(s__ChineseLanguage,s__AsexualReproduction,'"无性繁殖"')

chinese_format.kif 1085-1085
s__termFormat(s__EnglishLanguage,s__AsexualReproduction,'"asexual reproduction"')

english_format.kif 1381-1381

antecedent
-------------------------


( ! [V__ORGANISM,V__PARENT2,V__PARENT1,V__REP] :
   (((s__instance(V__ORGANISM,s__Organism) &
         s__instance(V__PARENT2,s__Organism) &
         s__instance(V__PARENT1,s__Organism))
       =>
       (((s__instance(V__REP,s__AsexualReproduction) &
             s__result(V__REP,V__ORGANISM)
           &
           s__parent(V__ORGANISM,V__PARENT1)
         &
         s__parent(V__ORGANISM,V__PARENT2))
     =>
     ((V__PARENT1 = V__PARENT2)))))
)
)

Merge.kif 9974-9980


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