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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SexualReproduction
SexualReproduction

VerbNet: fill-9.8|impregnate, amalgamate-22.2|mate, amalgamate-22.2|mate, other_cos-45.4|hybridize, other_cos-45.4|hybridize, other_cos-45.4|hybridize, other_cos-45.4|hybridize, other_cos-45.4|hybridize, fill-9.8|impregnate, amalgamate-22.2|mate, other_cos-45.4|multiply, amalgamate-22.2|mate, fill-9.8|impregnate, other_cos-45.4|reproduce, other_cos-45.4|reproduce, captain-29.8|whore,


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


(disjoint SexualReproduction AsexualReproduction) Merge.kif 9741-9741
(documentation SexualReproduction ChineseLanguage "这是有性的生物繁殖 Process。") chinese_format.kif 2918-2918
(documentation SexualReproduction EnglishLanguage "Sexual Processes of biological reproduction.") Merge.kif 9743-9744
(subclass SexualReproduction Replication) Merge.kif 9740-9740

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


(biochemicalAgentDelivery HIVVirus SexualReproduction) WMD.kif 1266-1266
(relatedInternalConcept BiologicalConception SexualReproduction) Mid-level-ontology.kif 21847-21847
(termFormat ChineseLanguage SexualReproduction "有性繁殖") chinese_format.kif 1084-1084
(termFormat EnglishLanguage SexualReproduction "sexual reproduction") english_format.kif 1384-1384

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


(=>
    (and
        (instance ?REP SexualReproduction)
        (result ?REP ?ORGANISM))
    (exists (?MOTHER ?FATHER)
        (and
            (mother ?ORGANISM ?MOTHER)
            (father ?ORGANISM ?FATHER))))
Merge.kif 9746-9753
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))
Merge.kif 15215-15223
(=>
    (instance ?SR SexualReproduction)
    (exists (?C)
        (and
            (instance ?C BiologicalConception)
            (subProcess ?C ?SR))))
Mid-level-ontology.kif 21852-21857

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


(=>
    (instance ?E BirdEgg)
    (exists (?SR ?B)
        (and
            (instance ?SR SexualReproduction)
            (agent ?SR ?B)
            (instance ?B Bird)
            (result ?SR ?E))))
Mid-level-ontology.kif 21877-21884
(=>
    (instance ?MULE Mule)
    (not
        (capability SexualReproduction agent ?MULE)))
Mid-level-ontology.kif 17943-17946


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