Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass Replication OrganismProcess) Merge.kif 10471-10471 Replication is a subclass of organism process
(documentation Replication EnglishLanguage "The Process of biological reproduction. This can be either a sexual or an asexual process.") Merge.kif 10473-10474 Replication is a subclass of organism process
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ DNA_replication_zh.png") pictureList.kif 10228-10228 Replication is a subclass of organism process
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ DNAreplicationModes.png") pictureList.kif 11750-11750 Replication is a subclass of organism process
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Copiadna.JPG") pictureList.kif 11751-11751 Replication is a subclass of organism process

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


(subclass SexualReproduction Replication) Merge.kif 10490-10490 Sexual reproduction is a subclass of replication
(subclass AsexualReproduction Replication) Merge.kif 10505-10505 Asexual reproduction is a subclass of replication
(termFormat EnglishLanguage Replication "replication") english_format.kif 1377-1377 Asexual reproduction is a subclass of replication

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


(=>
    (and
        (instance ?REP Replication)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (parent ?CHILD ?PARENT))		 Merge.kif 10476-10481 If X is an instance of replication, Y is an agent of X, and Z is a result of X, then Y is a parent of Z
(=>
    (instance ?REP Replication)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (result ?REP ?BODY))))		 Merge.kif 10483-10488 If X is an instance of replication, then there exists Y such that Y is an instance of reproductive body and Y is a result of X
(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))		 Merge.kif 14665-14673 If X is an instance of virus, Y is an instance of replication, and X is an agent of Y, then there exists Z such that Y is located at Z and Z is an instance of cell

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 6803-6815 If X is an instance of infecting and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of translocation (3) V moves during Z (4) V is an instance of organism (5) W is an instance of replication (6) V experiences W (7) Z is a subprocess of X (8) W is a subprocess of X
(=>
    (instance ?MA MonoclonalAntibody)
    (exists (?WBC ?R)
        (and
            (instance ?R Replication)
            (instance ?WBC WhiteBloodCell)
            (resource ?R ?WBC)
            (result ?R ?MA))))		 Mid-level-ontology.kif 11617-11624 If X is an instance of monoclonal antibody, then there exist Y, Z such that Z is an instance of replication, Y is an instance of leukocyte, Y is a resource for Z, and X is a result of Z
(=>
    (instance ?INSECT QueenInsect)
    (and
        (attribute ?INSECT Female)
        (capability Replication agent ?INSECT)))		 Mid-level-ontology.kif 14134-14138 If X is an instance of queen insect, then female is an attribute of X and X is capable of doing replication as a agent
(=>
    (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 14140-14152 If X is an instance of queen insect, then there exists Y such that Y is an instance of group, X is a member of Y, there doesn't exist Z such that Z is a member of Y, Z is capable of doing replication as a agent, equal Z, and X


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