Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  SexualReproduction

 Sigma KEE - SexualReproduction
SexualReproduction(sexual reproduction)all_the_way, 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...

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


(subclass SexualReproduction Replication) Merge.kif 10577-10577 Sexual reproduction is a subclass of replication
(disjoint SexualReproduction AsexualReproduction) Merge.kif 10578-10578 Sexual reproduction is disjoint from asexual reproduction
(documentation SexualReproduction EnglishLanguage "Sexual Processes of biological reproduction.") Merge.kif 10580-10581 Sexual reproduction is disjoint from asexual reproduction

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


(relatedInternalConcept BiologicalConception SexualReproduction) Mid-level-ontology.kif 26325-26325 Biological conception is internally related to sexual reproduction
(biochemicalAgentDelivery HIVVirus SexualReproduction) WMD.kif 1344-1344 Sexual reproduction is a biochemical agent delivery of HIV virus
(termFormat EnglishLanguage SexualReproduction "sexual reproduction") english_format.kif 1383-1383 Sexual reproduction is a biochemical agent delivery of HIV virus

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


(=>
    (and
        (instance ?REP SexualReproduction)
        (result ?REP ?ORGANISM))
    (exists (?MOTHER ?FATHER)
        (and
            (mother ?ORGANISM ?MOTHER)
            (father ?ORGANISM ?FATHER))))		 Merge.kif 10583-10590 If X is an instance of sexual reproduction and Y is a result of X, then there exist Z, W such that Z is a mother of Y, and W is a father of Y
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))		 Merge.kif 16745-16753 If X is a parent of Y, Z is an instance of sexual reproduction, X is an agent of Z, and Y is a result of Z, then X is a mother of Y or X is a father of Y
(=>
    (instance ?SR SexualReproduction)
    (exists (?C)
        (and
            (instance ?C BiologicalConception)
            (subProcess ?C ?SR))))		 Mid-level-ontology.kif 26331-26336 If X is an instance of sexual reproduction, then there exists Y such that Y is an instance of biological conception and Y is a subprocess of X

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


(=>
    (instance ?MULE Mule)
    (not
        (capability SexualReproduction agent ?MULE)))		 Mid-level-ontology.kif 22422-22425 If X is an instance of mule, then X is not capable of doing sexual reproduction as a agent
(=>
    (instance ?E BirdEgg)
    (exists (?SR ?B)
        (and
            (instance ?SR SexualReproduction)
            (agent ?SR ?B)
            (instance ?B Bird)
            (result ?SR ?E))))		 Mid-level-ontology.kif 26358-26365 If X is an instance of bird egg, then there exist Y, Z such that Y is an instance of sexual reproduction, Z is an agent of Y, Z is an instance of bird, and X is a result of Y


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners