Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 10558-10558 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 10560-10561 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 10577-10577 Sexual reproduction is a subclass of replication
(subclass AsexualReproduction Replication) Merge.kif 10592-10592 Asexual reproduction is a subclass of replication
(termFormat EnglishLanguage Replication "replication") english_format.kif 1381-1381 Asexual reproduction is a subclass of replication

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


(=>
    (and
        (instance ?REP Replication)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (parent ?CHILD ?PARENT))		 Merge.kif 10563-10568 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 10570-10575 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 14802-14810 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 6966-6978 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 11699-11706 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 14264-14268 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 14270-14282 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners