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
-------------------------


s__documentation(s__copy__m,s__ChineseLanguage,'"这个概念把一个 Object 和这个 Object 一摸一样地副本联系 起来,而原本和它一摸一样的副本,在所有的特性除了(可能) 空间和/ 或时间地位置上,是没有区别的。"')

chinese_format.kif 2077-2078
s__documentation(s__copy__m,s__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 3678-3681
s__domain(s__copy__m,n__1,s__Object)

Merge.kif 3675-3675 The number 1 argument of copy is an instance of object
s__domain(s__copy__m,n__2,s__Object)

Merge.kif 3676-3676 The number 2 argument of copy is an instance of object
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__copy__m,s__BinaryPredicate)

Merge.kif 3673-3673 copy is an instance of binary predicate
s__instance(s__copy__m,s__EquivalenceRelation)

s__instance(s__EquivalenceRelation,s__SetOrClass)

Merge.kif 3674-3674 copy is an instance of equivalence relation

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


s__format(s__ChineseLanguage,s__copy__m,'"%1 %n 是和 %2 完全相同的 copy"')

chinese_format.kif 87-87
s__format(s__EnglishLanguage,s__copy__m,'"%1 is %n a copy of %2"')

english_format.kif 87-87
s__termFormat(s__ChineseLanguage,s__copy__m,'"副本"')

chinese_format.kif 88-88
s__termFormat(s__ChineseLanguage,s__copy__m,'"复制"')

domainEnglishFormat.kif 17227-17227
s__termFormat(s__ChineseTraditionalLanguage,s__copy__m,'"複製"')

domainEnglishFormat.kif 17226-17226
s__termFormat(s__EnglishLanguage,s__copy__m,'"copy"')

domainEnglishFormat.kif 17225-17225

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


( ! [V__OBJ1,V__OBJ2] :
   ((s__instance(V__OBJ1,s__Object) &
       s__instance(V__OBJ2,s__Object))
     =>
     s__copy(V__OBJ1,V__OBJ2)
   =>
   ( ! [V__ATTR] :
     (s__instance(V__ATTR,s__Attribute) =>
       s__attribute(V__OBJ1,V__ATTR)
     =>
     s__attribute(V__OBJ2,V__ATTR)))
)
)

Merge.kif 3683-3688

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


( ! [V__A,V__D,V__X,V__DS] :
   ((s__instance(V__A,s__Album) &
       s__subclass(V__D,s__DataStorageDevice) &
       s__instance(V__D,s__DataStorageDevice) &
       s__instance(V__D,s__SetOrClass) &
       s__subclass(V__DS,s__DataStorageDevice))
     =>
     ((V__D = s__AlbumCopiesFn(V__A,V__DS))
     &
     s__instance(V__X,V__D))
=>
( ! [V__S] :
   (s__instance(V__S,s__Object) =>
     s__inList(V__S,V__A)
   =>
   ( ? [V__C] :
     ((s__instance(V__C,s__ContentBearingObject) &
         (s__copy(V__C,V__S)
         &
         s__stored(V__C,V__D)))))))
)
)

Music.kif 930-940
( ! [V__COPY,V__THING1,V__THING2] :
   ((s__instance(V__THING1,s__Object) &
       s__instance(V__THING2,s__Object))
     =>
     (s__instance(V__COPY,s__Copying) &
       s__resource(V__COPY,V__THING1)
     &
     s__result(V__COPY,V__THING2))
=>
s__copy(V__THING1,V__THING2)
)
)

Mid-level-ontology.kif 18180-18185
( ! [V__T] :
   (s__instance(V__T,s__Object) =>
     s__attribute(V__T,s__SymmetricShape) =>
     ( ? [V__C1, V__C2] :
       ((s__instance(V__C1,s__Object) &
           s__instance(V__C2,s__Object) &
           (s__copy(V__C1,V__C2)
           &
           (V__T = s__MereologicalSumFn(V__C1,V__C2))))))
)
)

Mid-level-ontology.kif 3305-3311
( ! [V__A,V__S,V__M] :
   ((s__instance(V__A,s__CognitiveAgent) &
       s__instance(V__S,s__MusicRecording) &
       s__instance(V__M,s__MusicRecording))
     =>
     (V__S = s__RemixFn(V__M,V__A))
   =>
   ( ? [V__P] :
     ((s__instance(V__P,s__IntentionalProcess) &
         s__patient(V__P,V__M)
       &
       s__agent(V__P,V__A)
     &
     s__result(V__P,V__S)
   &
   ~((V__S = V__M))
   &
   ~(s__copy(V__S,V__M)))))
)
)

Music.kif 885-894
( ! [V__AGENT] :
   (s__instance(V__AGENT,s__ChemicalAgent) =>
     ~(( ? [V__ORGANISM, V__PROCESS, V__SUBSTANCE] :
         ((s__instance(V__SUBSTANCE,s__Object) &
             (s__instance(V__ORGANISM,s__Organism) &
               s__instance(V__PROCESS,s__BiologicalProcess) &
               s__instrument(V__PROCESS,V__ORGANISM)
             &
             s__result(V__PROCESS,V__SUBSTANCE)
           &
           s__copy(V__SUBSTANCE,V__AGENT))))))
)
)

WMD.kif 459-468
( ! [V__SUBSTANCE] :
   (s__instance(V__SUBSTANCE,s__Toxin) =>
     ( ? [V__ORGANISM, V__PROCESS] :
       ((s__instance(V__ORGANISM,s__ToxicOrganism) &
           s__instance(V__PROCESS,s__BiologicalProcess) &
           s__instrument(V__PROCESS,V__ORGANISM)
         &
         (s__result(V__PROCESS,V__SUBSTANCE)
         |
         ( ? [V__RESULT] :
           ((s__instance(V__RESULT,s__Object) &
               (s__result(V__PROCESS,V__RESULT)
               &
               s__copy(V__SUBSTANCE,V__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