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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SexualReproduction
SexualReproduction(sexual reproduction)amphimixis, anal_intercourse, anal_sex, anisogametic, anisogamic, anisogamous, anisogamy, ass, assortative_mating, autosexing, backcross, bang, bang_up, be_intimate, bear, bed, beget, bestiality, birth, bisexuality, bondage, bonk, breed, breeding, bring_forth, bugger, buggery, capacitate, carnal_knowledge, carnalise, carnalize, carry, carry_to_term, cattle_breeding, celibacy, chastity, coital, coition, coitus, conceive, conception, congress, conjugation, consummate, copulate, copulation, copulatory, couple, coupling, cover...

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


(disjoint SexualReproduction AsexualReproduction) Merge.kif 10390-10390 Sexual reproduction is disjoint from asexual reproduction
(documentation SexualReproduction ChineseLanguage "这是有性的生物繁殖 Process。") Merge.kif 10393-10393
(documentation SexualReproduction EnglishLanguage "Sexual Processes of biological reproduction.") Merge.kif 10391-10392
(subclass SexualReproduction Replication) Merge.kif 10389-10389 Sexual reproduction is a subclass of replication

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


(biochemicalAgentDelivery HIVVirus SexualReproduction) WMD.kif 1249-1249 Sexual reproduction is a biochemical agent delivery of HIV virus
(relatedInternalConcept BiologicalConception SexualReproduction) Mid-level-ontology.kif 21809-21809 Biological conception is internally related to sexual reproduction
(termFormat ChineseLanguage SexualReproduction "有性繁殖") chinese_format.kif 1084-1084 "有性繁殖" is the printable form of sexual reproduction in ChineseLanguage
(termFormat EnglishLanguage SexualReproduction "sexual reproduction") english_format.kif 1323-1323 "sexual reproduction" is the printable form of sexual reproduction in english language
(termFormat JapaneseLanguage SexualReproduction "有性生殖") english_format.kif 1324-1324 "有性生殖" is the printable form of sexual reproduction in japanese language

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


(=>
    (and
        (instance ?REP SexualReproduction)
        (result ?REP ?ORGANISM))
    (exists (?MOTHER ?FATHER)
        (and
            (mother ?ORGANISM ?MOTHER)
            (father ?ORGANISM ?FATHER))))
Merge.kif 10395-10402
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))
Merge.kif 16613-16621
(=>
    (instance ?SR SexualReproduction)
    (exists (?C)
        (and
            (instance ?C BiologicalConception)
            (subProcess ?C ?SR))))
Mid-level-ontology.kif 21814-21819

consequent
-------------------------


(=>
    (instance ?E BirdEgg)
    (exists (?SR ?B)
        (and
            (instance ?SR SexualReproduction)
            (agent ?SR ?B)
            (instance ?B Bird)
            (result ?SR ?E))))
Mid-level-ontology.kif 21839-21846
(=>
    (instance ?MULE Mule)
    (not
        (capability SexualReproduction agent ?MULE)))
Mid-level-ontology.kif 17916-17919


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners