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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AsexualReproduction
AsexualReproduction

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


(documentation AsexualReproduction ChineseLanguage "这是无性的生物繁殖 Process。") chinese_format.kif 2919-2919
(documentation AsexualReproduction EnglishLanguage "Asexual Processes of biological reproduction.") Merge.kif 10254-10255
(subclass AsexualReproduction Replication) Merge.kif 10252-10252

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


(disjoint SexualReproduction AsexualReproduction) Merge.kif 10238-10238
(termFormat ChineseLanguage AsexualReproduction "无性繁殖") chinese_format.kif 1085-1085
(termFormat EnglishLanguage AsexualReproduction "asexual reproduction") english_format.kif 1381-1381

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


(=>
    (and
        (instance ?REP AsexualReproduction)
        (result ?REP ?ORGANISM)
        (parent ?ORGANISM ?PARENT1)
        (parent ?ORGANISM ?PARENT2))
    (equal ?PARENT1 ?PARENT2))
Merge.kif 10270-10276


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