Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass AsexualReproduction Replication) Merge.kif 10592-10592 Asexual reproduction is a subclass of replication
(documentation AsexualReproduction EnglishLanguage "Asexual Processes of biological reproduction.") Merge.kif 10594-10595 Asexual reproduction is a subclass of replication

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


(disjoint SexualReproduction AsexualReproduction) Merge.kif 10578-10578 Sexual reproduction is disjoint from asexual reproduction
(termFormat EnglishLanguage AsexualReproduction "asexual reproduction") english_format.kif 1385-1385 Sexual reproduction is disjoint from asexual reproduction

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


(=>
    (and
        (instance ?REP AsexualReproduction)
        (result ?REP ?ORGANISM)
        (parent ?ORGANISM ?PARENT1)
        (parent ?ORGANISM ?PARENT2))
    (equal ?PARENT1 ?PARENT2))		 Merge.kif 10610-10616 If X is an instance of asexual reproduction, Y is a result of X, Z is a parent of Y, and W is a parent of Y, then equal Z and W


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners