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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Replication

Sigma KEE - Replication
Replication

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 10335-10336
(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 10333-10333 Replication ist eine teilkategorie von OrganismProcess

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


(subclass AsexualReproduction Replication) Merge.kif 10367-10367 AsexualReproduction ist eine teilkategorie von Replication
(subclass SexualReproduction Replication) Merge.kif 10352-10352 SexualReproduction ist eine teilkategorie von Replication
(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 10338-10343
(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))
Merge.kif 14512-14520
(=>
    (instance ?REP Replication)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (result ?REP ?BODY))))
Merge.kif 10345-10350

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 5846-5858
(=>
    (instance ?INSECT QueenInsect)
    (and
        (attribute ?INSECT Female)
        (capability Replication agent ?INSECT)))
Mid-level-ontology.kif 12646-12650
(=>
    (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 12652-12664
(=>
    (instance ?MA MonoclonalAntibody)
    (exists (?WBC ?R)
        (and
            (instance ?R Replication)
            (instance ?WBC WhiteBloodCell)
            (resource ?R ?WBC)
            (result ?R ?MA))))
Mid-level-ontology.kif 10247-10254


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