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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Replication

Sigma KEE - Replication
Replication(reproduction)

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 10313-10314
(documentation Replication JapaneseLanguage "生物学的生殖の Process 。これは性的または無性の プロセスのいずれかである。") japanese_format.kif 1665-1666
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ DNAreplicationModes.png") pictureList.kif 11757-11757
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Copiadna.JPG") pictureList.kif 11758-11758
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ DNA_replication_zh.png") pictureList.kif 10230-10230
(subclass Replication OrganismProcess) Merge.kif 10311-10311 Reproduction est une sous-classe de fonction physiologique

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


(subclass AsexualReproduction Replication) Merge.kif 10345-10345 Reproduction asexu� est une sous-classe de reproduction
(subclass SexualReproduction Replication) Merge.kif 10330-10330 Reproduction sexuel est une sous-classe de reproduction
(termFormat ChineseLanguage Replication "复制") chinese_format.kif 1083-1083
(termFormat EnglishLanguage Replication "replication") english_format.kif 1377-1377
(termFormat FrenchLanguage Replication "reproduction") french_format.kif 761-761
(termFormat Hindi Replication "punaraavritti") terms-hindi.txt 293-293
(termFormat ItalianLanguage Replication "Replicazione") terms-it.txt 296-296
(termFormat JapaneseLanguage Replication "複製") japanese_format.kif 2445-2445
(termFormat PortugueseLanguage Replication "Reproducao") portuguese_format.kif 713-713
(termFormat cz Replication "replication") terms-cz.txt 332-332
(termFormat ro Replication "replicã") relations-ro.kif 782-782
(termFormat tg Replication "pagtularan") terms-tg.txt 297-297

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


(=>
    (and
        (instance ?REP Replication)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (parent ?CHILD ?PARENT))
Merge.kif 10316-10321
(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))
Merge.kif 14490-14498
(=>
    (instance ?REP Replication)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (result ?REP ?BODY))))
Merge.kif 10323-10328

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 5847-5859
(=>
    (instance ?INSECT QueenInsect)
    (and
        (attribute ?INSECT Female)
        (capability Replication agent ?INSECT)))
Mid-level-ontology.kif 12647-12651
(=>
    (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 12653-12665
(=>
    (instance ?MA MonoclonalAntibody)
    (exists (?WBC ?R)
        (and
            (instance ?R Replication)
            (instance ?WBC WhiteBloodCell)
            (resource ?R ?WBC)
            (result ?R ?MA))))
Mid-level-ontology.kif 10248-10255


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