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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SexualReproduction

Sigma KEE - SexualReproduction
SexualReproductionReproducao_Sexual, RiproduzioneSessuata, 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...

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


(disjoint SexualReproduction AsexualReproduction) Merge.kif 10332-10332
(documentation SexualReproduction ChineseLanguage "这是有性的生物繁殖 Process。") Merge.kif 10335-10335
(documentation SexualReproduction EnglishLanguage "Sexual Processes of biological reproduction.") Merge.kif 10333-10334
(subclass SexualReproduction Replication) Merge.kif 10331-10331

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


(biochemicalAgentDelivery HIVVirus SexualReproduction) WMD.kif 1249-1249
(relatedInternalConcept BiologicalConception SexualReproduction) Mid-level-ontology.kif 21778-21778
(termFormat ChineseLanguage SexualReproduction "有性繁殖") chinese_format.kif 1084-1084
(termFormat EnglishLanguage SexualReproduction "sexual reproduction") english_format.kif 771-771
(termFormat FrenchLanguage SexualReproduction "reproduction sexuel") french_format.kif 762-762
(termFormat Hindi SexualReproduction "lEngika prajanana") terms-hindi.txt 294-294
(termFormat ItalianLanguage SexualReproduction "RiproduzioneSessuata") terms-it.txt 295-295
(termFormat PortugueseLanguage SexualReproduction "Reproducao Sexual") portuguese_format.kif 714-714
(termFormat cz SexualReproduction "sexual reproduction") terms-cz.txt 333-333
(termFormat tg SexualReproduction "pagpaparami ng kasarian") terms-tg.txt 298-298

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


(=>
    (and
        (instance ?REP SexualReproduction)
        (result ?REP ?ORGANISM))
    (exists (?MOTHER ?FATHER)
        (and
            (mother ?ORGANISM ?MOTHER)
            (father ?ORGANISM ?FATHER))))
Merge.kif 10337-10344
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))
Merge.kif 16561-16569
(=>
    (instance ?SR SexualReproduction)
    (exists (?C)
        (and
            (instance ?C BiologicalConception)
            (subProcess ?C ?SR))))
Mid-level-ontology.kif 21783-21788

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


(=>
    (instance ?E BirdEgg)
    (exists (?SR ?B)
        (and
            (instance ?SR SexualReproduction)
            (agent ?SR ?B)
            (instance ?B Bird)
            (result ?SR ?E))))
Mid-level-ontology.kif 21808-21815
(=>
    (instance ?MULE Mule)
    (not
        (capability SexualReproduction agent ?MULE)))
Mid-level-ontology.kif 17858-17861


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