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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2919-2919
No TPTP formula. May not be expressible in strict first order. Merge.kif 10347-10348
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1668-1668
No TPTP formula. May not be expressible in strict first order. Merge.kif 10345-10345 Asexual reproduction is a subclass of replication

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10331-10331 Sexual reproduction is disjoint from asexual reproduction
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1085-1085
No TPTP formula. May not be expressible in strict first order. english_format.kif 1381-1381
No TPTP formula. May not be expressible in strict first order. french_format.kif 763-763
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 295-295
No TPTP formula. May not be expressible in strict first order. terms-it.txt 298-298
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2447-2447
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 715-715
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 334-334
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 784-784
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 299-299

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10363-10369


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