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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 10453-10454
(documentation Replication JapaneseLanguage "生物学的生殖の Process 。これは性的または無性の プロセスのいずれかである。") japanese_format.kif 1665-1666
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ DNAreplicationModes.png") pictureList.kif 11750-11750
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Copiadna.JPG") pictureList.kif 11751-11751
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ DNA_replication_zh.png") pictureList.kif 10228-10228
(subclass Replication OrganismProcess) Merge.kif 10451-10451 複製生物プロセスsubclass では

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


(subclass AsexualReproduction Replication) Merge.kif 10485-10485 無性生殖複製subclass では
(subclass SexualReproduction Replication) Merge.kif 10470-10470 有性生殖複製subclass では
(termFormat ChineseLanguage Replication "复制") chinese_format.kif 1083-1083 有性生殖複製subclass では
(termFormat EnglishLanguage Replication "replication") english_format.kif 1377-1377 有性生殖複製subclass では
(termFormat FrenchLanguage Replication "reproduction") french_format.kif 761-761 有性生殖複製subclass では
(termFormat Hindi Replication "punaraavritti") terms-hindi.txt 293-293 有性生殖複製subclass では
(termFormat ItalianLanguage Replication "Replicazione") terms-it.txt 296-296 有性生殖複製subclass では
(termFormat JapaneseLanguage Replication "複製") japanese_format.kif 2445-2445 有性生殖複製subclass では
(termFormat PortugueseLanguage Replication "Reproducao") portuguese_format.kif 713-713 有性生殖複製subclass では
(termFormat cz Replication "replication") terms-cz.txt 332-332 有性生殖複製subclass では
(termFormat de Replication "Reproduktion") terms-de.txt 591-591 有性生殖複製subclass では
(termFormat ro Replication "replicã") relations-ro.kif 782-782 有性生殖複製subclass では
(termFormat tg Replication "pagtularan") terms-tg.txt 297-297 有性生殖複製subclass では

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


(=>
    (and
        (instance ?REP Replication)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (parent ?CHILD ?PARENT))
Merge.kif 10456-10461
(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))
Merge.kif 14643-14651
(=>
    (instance ?REP Replication)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (result ?REP ?BODY))))
Merge.kif 10463-10468

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 6784-6796
(=>
    (instance ?INSECT QueenInsect)
    (and
        (attribute ?INSECT Female)
        (capability Replication agent ?INSECT)))
Mid-level-ontology.kif 13978-13982
(=>
    (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 13984-13996
(=>
    (instance ?MA MonoclonalAntibody)
    (exists (?WBC ?R)
        (and
            (instance ?R Replication)
            (instance ?WBC WhiteBloodCell)
            (resource ?R ?WBC)
            (result ?R ?MA))))
Mid-level-ontology.kif 11577-11584


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