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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - copy
copy

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


(documentation copy ChineseLanguage "这个概念把一个 Object 和这个 Object 一摸一样地副本联系 起来,而原本和它一摸一样的副本,在所有的特性除了(可能) 空间和/ 或时间地位置上,是没有区别的。") chinese_format.kif 2077-2078
(documentation copy EnglishLanguage "relates an Object to an exact copy of the Object, where an exact copy is indistinguishable from the original with regard to every property except (possibly) spatial and/ or temporal location.") Merge.kif 3588-3591
(domain copy 1 Object) Merge.kif 3585-3585
(domain copy 2 Object) Merge.kif 3586-3586
(instance copy BinaryPredicate) Merge.kif 3583-3583
(instance copy EquivalenceRelation) Merge.kif 3584-3584

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


(format ChineseLanguage copy "%1 %n 是和 %2 完全相同的 copy") chinese_format.kif 87-87
(format EnglishLanguage copy "%1 is %n a copy of %2") english_format.kif 87-87
(termFormat ChineseLanguage copy "副本") chinese_format.kif 88-88
(termFormat ChineseLanguage copy "复制") domainEnglishFormat.kif 17233-17233
(termFormat ChineseTraditionalLanguage copy "複製") domainEnglishFormat.kif 17232-17232
(termFormat EnglishLanguage copy "copy") domainEnglishFormat.kif 17231-17231

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


(=>
    (copy ?OBJ1 ?OBJ2)
    (forall (?ATTR)
        (=>
            (attribute ?OBJ1 ?ATTR)
            (attribute ?OBJ2 ?ATTR))))
Merge.kif 3593-3598

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


(=>
    (and
        (equal ?D
            (AlbumCopiesFn ?A ?DS))
        (instance ?X ?D))
    (forall (?S)
        (=>
            (inList ?S ?A)
            (exists (?C)
                (and
                    (copy ?C ?S)
                    (stored ?C ?D))))))
Music.kif 930-940
(=>
    (and
        (instance ?COPY Copying)
        (resource ?COPY ?THING1)
        (result ?COPY ?THING2))
    (copy ?THING1 ?THING2))
Mid-level-ontology.kif 18179-18184
(=>
    (attribute ?T SymmetricShape)
    (exists (?C1 ?C2)
        (and
            (copy ?C1 ?C2)
            (equal ?T
                (MereologicalSumFn ?C1 ?C2)))))
Mid-level-ontology.kif 3305-3311
(=>
    (equal ?S
        (RemixFn ?M ?A))
    (exists (?P)
        (and
            (instance ?P IntentionalProcess)
            (patient ?P ?M)
            (agent ?P ?A)
            (result ?P ?S)
            (not
                (equal ?S ?M))
            (not
                (copy ?S ?M)))))
Music.kif 885-894
(=>
    (instance ?AGENT ChemicalAgent)
    (not
        (exists (?ORGANISM ?PROCESS ?SUBSTANCE)
            (and
                (instance ?ORGANISM Organism)
                (instance ?PROCESS BiologicalProcess)
                (instrument ?PROCESS ?ORGANISM)
                (result ?PROCESS ?SUBSTANCE)
                (copy ?SUBSTANCE ?AGENT)))))
WMD.kif 459-468
(=>
    (instance ?SUBSTANCE Toxin)
    (exists (?ORGANISM ?PROCESS)
        (and
            (instance ?ORGANISM ToxicOrganism)
            (instance ?PROCESS BiologicalProcess)
            (instrument ?PROCESS ?ORGANISM)
            (or
                (result ?PROCESS ?SUBSTANCE)
                (exists (?RESULT)
                    (and
                        (result ?PROCESS ?RESULT)
                        (copy ?SUBSTANCE ?RESULT)))))))
WMD.kif 166-178


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