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

Formal Language: 

KB Term:  Term intersection
English Word: 

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


        (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