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


s__disjoint(s__SexualReproduction,s__AsexualReproduction)

Merge.kif 9932-9932 Sexual reproduction is disjoint from asexual reproduction
s__documentation(s__SexualReproduction,s__ChineseLanguage,'"这是有性的生物繁殖 Process。"')

chinese_format.kif 2918-2918
s__documentation(s__SexualReproduction,s__EnglishLanguage,'"Sexual Processes of biological reproduction."')

Merge.kif 9934-9935
s__instance(s__Replication,s__SetOrClass)

s__subclass(s__SexualReproduction,s__Replication)

s__instance(s__SexualReproduction,s__SetOrClass)

Merge.kif 9931-9931 Sexual reproduction is a subclass of replication

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


s__biochemicalAgentDelivery(s__HIVVirus,s__SexualReproduction)

WMD.kif 1333-1333 Sexual reproduction is a biochemical agent delivery of HIV virus
s__relatedInternalConcept(s__BiologicalConception,s__SexualReproduction)

Mid-level-ontology.kif 23124-23124 Biological conception is internally related to sexual reproduction
s__termFormat(s__ChineseLanguage,s__SexualReproduction,'"有性繁殖"')

chinese_format.kif 1084-1084
s__termFormat(s__EnglishLanguage,s__SexualReproduction,'"sexual reproduction"')

english_format.kif 1384-1384

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


( ! [V__ORGANISM,V__REP] :
   ((s__instance(V__ORGANISM,s__Organism) =>
       (((s__instance(V__REP,s__SexualReproduction) &
             s__result(V__REP,V__ORGANISM))
         =>
         (( ? [V__MOTHER, V__FATHER] :
             ((s__instance(V__MOTHER,s__Organism) &
                 s__instance(V__FATHER,s__Organism) &
                 (s__mother(V__ORGANISM,V__MOTHER)
                 &
                 s__father(V__ORGANISM,V__FATHER)))))))))
)
)

Merge.kif 9937-9944
( ! [V__REP,V__CHILD,V__PARENT] :
   (((s__instance(V__CHILD,s__Organism) &
         s__instance(V__PARENT,s__Organism))
       =>
       (((s__parent(V__CHILD,V__PARENT)
           &
           s__instance(V__REP,s__SexualReproduction) &
           s__agent(V__REP,V__PARENT)
         &
         s__result(V__REP,V__CHILD))
     =>
     ((s__mother(V__CHILD,V__PARENT)
       |
       s__father(V__CHILD,V__PARENT))))))
)
)

Merge.kif 15712-15720
( ! [V__SR] :
   ((s__instance(V__SR,s__SexualReproduction) =>
       (( ? [V__C] :
           ((s__instance(V__C,s__BiologicalConception) &
               s__subProcess(V__C,V__SR))))))
   )
)

Mid-level-ontology.kif 23130-23135

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


( ! [V__E] :
   ((s__instance(V__E,s__BirdEgg) =>
       (( ? [V__SR, V__B] :
           ((s__instance(V__SR,s__SexualReproduction) &
               s__agent(V__SR,V__B)
             &
             s__instance(V__B,s__Bird) &
             s__result(V__SR,V__E))))))
)
)

Mid-level-ontology.kif 23157-23164
( ! [V__MULE] :
   ((s__instance(V__MULE,s__Mule) =>
       (~(s__capability(s__SexualReproduction,s__agent__m,V__MULE))))
   )
)

Mid-level-ontology.kif 19161-19164


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