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 3709-3712
(domain copy 1 Object) Merge.kif 3706-3706 副本 的 1 数量 是 客体instance
(domain copy 2 Object) Merge.kif 3707-3707 副本 的 2 数量 是 客体instance
(instance copy BinaryPredicate) Merge.kif 3704-3704 副本二元谓语instance
(instance copy EquivalenceRelation) Merge.kif 3705-3705 副本等价关系instance

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 17227-17227
(termFormat ChineseTraditionalLanguage copy "複製") domainEnglishFormat.kif 17226-17226
(termFormat EnglishLanguage copy "copy") domainEnglishFormat.kif 17225-17225

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


(=>
    (copy ?OBJ1 ?OBJ2)
    (forall (?ATTR)
        (=>
            (attribute ?OBJ1 ?ATTR)
            (attribute ?OBJ2 ?ATTR))))
Merge.kif 3714-3719

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 18205-18210
(=>
    (attribute ?T SymmetricShape)
    (exists (?C1 ?C2)
        (and
            (copy ?C1 ?C2)
            (equal ?T
                (MereologicalSumFn ?C1 ?C2)))))
Mid-level-ontology.kif 3311-3317
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners