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 3769-3772
(domain copy 1 Object) Merge.kif 3766-3766 副本 的 1 数量 是 客体instance
(domain copy 2 Object) Merge.kif 3767-3767 副本 的 2 数量 是 客体instance
(instance copy BinaryPredicate) Merge.kif 3764-3764 副本二元谓语instance
(instance copy EquivalenceRelation) Merge.kif 3765-3765 副本等价关系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 17295-17295
(termFormat ChineseTraditionalLanguage copy "複製") domainEnglishFormat.kif 17294-17294
(termFormat EnglishLanguage copy "copy") domainEnglishFormat.kif 17293-17293

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


(=>
    (copy ?OBJ1 ?OBJ2)
    (forall (?ATTR)
        (=>
            (attribute ?OBJ1 ?ATTR)
            (attribute ?OBJ2 ?ATTR))))
Merge.kif 3774-3779

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 931-941
(=>
    (and
        (instance ?COPY Copying)
        (resource ?COPY ?THING1)
        (result ?COPY ?THING2))
    (copy ?THING1 ?THING2))
Mid-level-ontology.kif 19738-19743
(=>
    (attribute ?T SymmetricShape)
    (exists (?C1 ?C2)
        (and
            (copy ?C1 ?C2)
            (equal ?T
                (MereologicalSumFn ?C1 ?C2)))))
Mid-level-ontology.kif 2793-2799
(=>
    (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 886-895
(=>
    (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 464-473
(=>
    (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