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 10347-10348
(documentation AsexualReproduction JapaneseLanguage "生物学的生殖の無性 Processes 。") japanese_format.kif 1668-1668
(subclass AsexualReproduction Replication) Merge.kif 10345-10345

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


(disjoint SexualReproduction AsexualReproduction) Merge.kif 10331-10331
(termFormat ChineseLanguage AsexualReproduction "无性繁殖") chinese_format.kif 1085-1085
(termFormat EnglishLanguage AsexualReproduction "asexual reproduction") english_format.kif 1381-1381
(termFormat FrenchLanguage AsexualReproduction "reproduction asexu�") french_format.kif 763-763
(termFormat Hindi AsexualReproduction "alEngika prajanana") terms-hindi.txt 295-295
(termFormat ItalianLanguage AsexualReproduction "RiproduzioneAsessuata") terms-it.txt 298-298
(termFormat JapaneseLanguage AsexualReproduction "無性生殖") japanese_format.kif 2447-2447
(termFormat PortugueseLanguage AsexualReproduction "Reproducao Assexual") portuguese_format.kif 715-715
(termFormat cz AsexualReproduction "asexual reproduction") terms-cz.txt 334-334
(termFormat ro AsexualReproduction "reproducere asexuatã") relations-ro.kif 784-784
(termFormat tg AsexualReproduction "pagtularan ng walang kasarian") terms-tg.txt 299-299

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


(=>
    (and
        (instance ?REP AsexualReproduction)
        (result ?REP ?ORGANISM)
        (parent ?ORGANISM ?PARENT1)
        (parent ?ORGANISM ?PARENT2))
    (equal ?PARENT1 ?PARENT2))
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