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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SexualReproduction

Sigma KEE - SexualReproduction
SexualReproduction

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


(disjoint SexualReproduction AsexualReproduction) Merge.kif 10331-10331
(documentation SexualReproduction ChineseLanguage "这是有性的生物繁殖 Process。") chinese_format.kif 2918-2918
(documentation SexualReproduction EnglishLanguage "Sexual Processes of biological reproduction.") Merge.kif 10333-10334
(documentation SexualReproduction JapaneseLanguage "生物学的生殖の性的 Processes。") japanese_format.kif 1667-1667
(subclass SexualReproduction Replication) Merge.kif 10330-10330

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


(biochemicalAgentDelivery HIVVirus SexualReproduction) WMD.kif 1348-1348
(relatedInternalConcept BiologicalConception SexualReproduction) Mid-level-ontology.kif 24042-24042
(termFormat ChineseLanguage SexualReproduction "有性繁殖") chinese_format.kif 1084-1084
(termFormat EnglishLanguage SexualReproduction "sexual reproduction") english_format.kif 1379-1379
(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 297-297
(termFormat JapaneseLanguage SexualReproduction "有性生殖") japanese_format.kif 2446-2446
(termFormat PortugueseLanguage SexualReproduction "Reproducao Sexual") portuguese_format.kif 714-714
(termFormat cz SexualReproduction "sexual reproduction") terms-cz.txt 333-333
(termFormat ro SexualReproduction "reproducere sexualã") relations-ro.kif 783-783
(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 10336-10343
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))
Merge.kif 16386-16394
(=>
    (instance ?SR SexualReproduction)
    (exists (?C)
        (and
            (instance ?C BiologicalConception)
            (subProcess ?C ?SR))))
Mid-level-ontology.kif 24048-24053

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


(=>
    (instance ?E BirdEgg)
    (exists (?SR ?B)
        (and
            (instance ?SR SexualReproduction)
            (agent ?SR ?B)
            (instance ?B Bird)
            (result ?SR ?E))))
Mid-level-ontology.kif 24075-24082
(=>
    (instance ?MULE Mule)
    (not
        (capability SexualReproduction agent ?MULE)))
Mid-level-ontology.kif 20173-20176


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 is open source software produced by Articulate Software and its partners