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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Replication
Replication(複製)

VerbNet: entity_specific_modes_being-47.2|propagate,


appearance as argument number 1
-------------------------


(documentation Replication ChineseLanguage "这是生物繁殖的 Process,这可以是有性的或无形的过程 。") Merge.kif 14246-14247
(documentation Replication EnglishLanguage "The Process of biological reproduction. This can be either a sexual or an asexual process.") Merge.kif 14243-14244
(documentation Replication JapaneseLanguage "生物学的生殖の Process 。これは性的または無性の プロセスのいずれかである。") Merge.kif 14249-14250
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ DNAreplicationModes.png") pictureList.kif 11784-11784 externalImage 複製 and "http://upload.wikimedia.org/wikipedia/commons/a/a2/ DNAreplicationModes.png"
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Copiadna.JPG") pictureList.kif 11785-11785 externalImage 複製 and "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Copiadna.JPG"
(externalImage Replication "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ DNA_replication_zh.png") pictureList.kif 10251-10251 externalImage 複製 and "http://upload.wikimedia.org/wikipedia/commons/f/fe/ DNA_replication_zh.png"
(subclass Replication OrganismProcess) Merge.kif 14241-14241 複製生物プロセスsubclass では %n

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


(subclass AsexualReproduction Replication) Merge.kif 14285-14285 無性生殖複製subclass では %n
(subclass SexualReproduction Replication) Merge.kif 14266-14266 有性生殖複製subclass では %n
(termFormat ChineseLanguage Replication "复制") chinese_format.kif 1083-1083 termFormat ChineseLanguage, 複製 and "复制"
(termFormat EnglishLanguage Replication "replication") english_format.kif 1952-1952 termFormat EnglishLanguage, 複製 and "replication"
(termFormat JapaneseLanguage Replication "複製") english_format.kif 1953-1953 termFormat JapaneseLanguage, 複製 and "複製"

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


(=>
    (and
        (instance ?REP Replication)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (parent ?CHILD ?PARENT))
Merge.kif 14252-14257
(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))
Merge.kif 18927-18935
(=>
    (instance ?REP Replication)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (result ?REP ?BODY))))
Merge.kif 14259-14264

consequent
-------------------------


(=>
    (instance ?INSECT QueenInsect)
    (and
        (attribute ?INSECT Female)
        (capability Replication agent ?INSECT)))
Mid-level-ontology.kif 10329-10333
(=>
    (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 10335-10347


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners