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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Replication
Replication

VerbNet: entity_specific_modes_being-47.2|propagate,


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


(documentation Replication ChineseLanguage "这是生物繁殖的 Process,这可以是有性的或无形的过程 。") chinese_format.kif 2916-2917
(documentation Replication EnglishLanguage "The Process of biological reproduction. This can be either a sexual or an asexual process.") Merge.kif 9690-9691
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ DNAreplicationModes.png") pictureList.kif 11784-11784
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Copiadna.JPG") pictureList.kif 11785-11785
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ DNA_replication_zh.png") pictureList.kif 10251-10251
(subclass Replication OrganismProcess) Merge.kif 9688-9688 subclass Replication and OrganismProcess

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


(subclass AsexualReproduction Replication) Merge.kif 9722-9722 subclass AsexualReproduction and Replication
(subclass SexualReproduction Replication) Merge.kif 9707-9707 subclass SexualReproduction and Replication
(termFormat ChineseLanguage Replication "复制") chinese_format.kif 1083-1083
(termFormat EnglishLanguage Replication "replication") english_format.kif 1382-1382

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


(=>
    (and
        (instance ?REP Replication)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (parent ?CHILD ?PARENT))
Merge.kif 9693-9698
(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))
Merge.kif 13428-13436
(=>
    (instance ?REP Replication)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (result ?REP ?BODY))))
Merge.kif 9700-9705

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


(=>
    (instance ?INSECT QueenInsect)
    (and
        (attribute ?INSECT Female)
        (capability Replication agent ?INSECT)))
Mid-level-ontology.kif 10331-10335
(=>
    (instance ?INSECT QueenInsect)
    (exists (?GROUP)
        (and
            (instance ?GROUP Group)
            (member ?INSECT ?GROUP)
            (not
                (exists (?MEMBER)
                    (and
                        (member ?MEMBER ?GROUP)
                        (capability Replication agent ?MEMBER)
                        (not
                            (equal ?MEMBER ?INSECT))))))))
Mid-level-ontology.kif 10337-10349


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