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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Replication
Replication(replication)
abiogenetic, allogamous, androgenetic, androgenous, autogenetic, bigeneric, biogenesis, biogenetic, biogeny, breeding, cell_division, cellular_division, cross, cross-fertilisation, cross-fertilization, crossbred, crossbreeding, crossing, dihybrid_cross, diversify, fecundation, fertilisation, fertilization, fissiparous, gastrulation, gemmiferous, hybrid, hybridisation, hybridization, hybridizing, impregnation, interbreeding, intercrossed, monohybrid_cross, propagate, radiate, reciprocal, reciprocal_cross, reproduction, reseed, seed, test-cross, testcross

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 10226-10227
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ DNAreplicationModes.png") pictureList.kif 11773-11773
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Copiadna.JPG") pictureList.kif 11774-11774
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ DNA_replication_zh.png") pictureList.kif 10240-10240
(subclass Replication OrganismProcess) Merge.kif 10224-10224 Replication is a subclass of organism process

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


(subclass AsexualReproduction Replication) Merge.kif 10258-10258 Asexual reproduction is a subclass of replication
(subclass SexualReproduction Replication) Merge.kif 10243-10243 Sexual reproduction is a subclass of replication
(termFormat ChineseLanguage Replication "复制") chinese_format.kif 1083-1083
(termFormat EnglishLanguage Replication "replication") english_format.kif 1377-1377

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


(=>
    (and
        (instance ?REP Replication)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (parent ?CHILD ?PARENT))
Merge.kif 10229-10234
(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))
Merge.kif 14229-14237
(=>
    (instance ?REP Replication)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (result ?REP ?BODY))))
Merge.kif 10236-10241

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


(=>
    (and
        (instance ?I Infecting)
        (experiencer ?I ?H))
    (exists (?T ?R ?O)
        (and
            (instance ?T Translocation)
            (moves ?T ?O)
            (instance ?O Organism)
            (instance ?R Replication)
            (experiencer ?R ?O)
            (subProcess ?T ?I)
            (subProcess ?R ?I))))
Mid-level-ontology.kif 5533-5545
(=>
    (instance ?INSECT QueenInsect)
    (and
        (attribute ?INSECT Female)
        (capability Replication agent ?INSECT)))
Mid-level-ontology.kif 12112-12116
(=>
    (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 12118-12130
(=>
    (instance ?MA MonoclonalAntibody)
    (exists (?WBC ?R)
        (and
            (instance ?R Replication)
            (instance ?WBC WhiteBloodCell)
            (resource ?R ?WBC)
            (result ?R ?MA))))
Mid-level-ontology.kif 9820-9827


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