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

Formal Language: 



KB Term:  Term intersection
English Word: 

  copy

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 3850-3853
(documentation copy JapaneseLanguage "ObjectObject の正確なコピーに関連付け、 正確なコピーは(おそらく)空間的および/ または時間的な場所を除くすべてのプロパティに関して元のコピーと 区別できない。") japanese_format.kif 723-725
(domain copy 1 Object) Merge.kif 3847-3847 The number 1 argument of copy is an instance of object
(domain copy 2 Object) Merge.kif 3848-3848 The number 2 argument of copy is an instance of object
(instance copy BinaryPredicate) Merge.kif 3845-3845 copy is an instance of binary predicate
(instance copy EquivalenceRelation) Merge.kif 3846-3846 copy is an instance of equivalence relation

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
(format FrenchLanguage copy "%1 est %n une copie exact de %2") french_format.kif 66-66
(format ItalianLanguage copy "%1 è %n un esatta copia di %2") relations-it.txt 60-60
(format JapaneseLanguage copy "%1 は %2 の copy では %n") japanese_format.kif 1892-1892
(format PortugueseLanguage copy "%1 e' %n uma copia exata de %2") portuguese_format.kif 18-18
(format cz copy "%1 %p{je} %n{nen�} an exact copy of %2") relations-cz.txt 115-115
(format de copy "%1 ist eine genaue kopie von %2") relations-de.txt 95-95
(format hi copy "%1 %2 kii saTiika prati %n hai") relations-hindi.txt 101-101
(format ro copy "%1 %n{nu} este o copy%t{copie} fidelã a lui %2") relations-ro.kif 85-85
(format sv copy "%1 är %n{inte} en exakt kopia av %2") relations-sv.txt 65-65
(format tg copy "%1 %n ay ang sipi ng tama ng %2") relations-cb.txt 94-94
(termFormat ChineseLanguage copy "副本") chinese_format.kif 88-88
(termFormat ChineseLanguage copy "复制") domainEnglishFormat.kif 17304-17304
(termFormat ChineseTraditionalLanguage copy "複製") domainEnglishFormat.kif 17303-17303
(termFormat EnglishLanguage copy "copy") domainEnglishFormat.kif 17302-17302
(termFormat de copy "kopie") terms-de.txt 26-26
(termFormat tg copy "sipi") relations-tg.txt 137-137

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


(=>
    (copy ?OBJ1 ?OBJ2)
    (forall (?ATTR)
        (=>
            (attribute ?OBJ1 ?ATTR)
            (attribute ?OBJ2 ?ATTR))))
Merge.kif 3855-3860

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


(=>
    (and
        (equal ?D
            (AlbumCopiesFn ?A ?DS))
        (instance ?X ?D))
    (forall (?S)
        (=>
            (inList ?S ?A)
            (exists (?C)
                (and
                    (copy ?C ?S)
                    (stored ?C ?X))))))
Music.kif 935-945
(=>
    (and
        (instance ?COPY Copying)
        (resource ?COPY ?THING1)
        (result ?COPY ?THING2))
    (copy ?THING1 ?THING2))
Mid-level-ontology.kif 20361-20366
(=>
    (attribute ?T SymmetricShape)
    (exists (?C1 ?C2)
        (and
            (copy ?C1 ?C2)
            (equal ?T
                (MereologicalSumFn ?C1 ?C2)))))
Mid-level-ontology.kif 2814-2820
(=>
    (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 888-897
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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