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 10244-10244
(documentation SexualReproduction ChineseLanguage "这是有性的生物繁殖 Process。") chinese_format.kif 2918-2918
(documentation SexualReproduction EnglishLanguage "Sexual Processes of biological reproduction.") Merge.kif 10246-10247
(subclass SexualReproduction Replication) Merge.kif 10243-10243

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


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

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


(=>
    (and
        (instance ?REP SexualReproduction)
        (result ?REP ?ORGANISM))
    (exists (?MOTHER ?FATHER)
        (and
            (mother ?ORGANISM ?MOTHER)
            (father ?ORGANISM ?FATHER))))
Merge.kif 10249-10256
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))
Merge.kif 16117-16125
(=>
    (instance ?SR SexualReproduction)
    (exists (?C)
        (and
            (instance ?C BiologicalConception)
            (subProcess ?C ?SR))))
Mid-level-ontology.kif 23487-23492

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


(=>
    (instance ?E BirdEgg)
    (exists (?SR ?B)
        (and
            (instance ?SR SexualReproduction)
            (agent ?SR ?B)
            (instance ?B Bird)
            (result ?SR ?E))))
Mid-level-ontology.kif 23514-23521
(=>
    (instance ?MULE Mule)
    (not
        (capability SexualReproduction agent ?MULE)))
Mid-level-ontology.kif 19504-19507


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