copy - Sigma Knowledge base Browser

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	The number 1 argument of copy is an instance of object
(domain copy 2 Object)	Merge.kif 3767-3767	The number 2 argument of copy is an instance of object
(instance copy BinaryPredicate)	Merge.kif 3764-3764	copy is an instance of binary predicate
(instance copy EquivalenceRelation)	Merge.kif 3765-3765	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
(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

If an object is a copy of another object,
then for all an attribute
- if the attribute is an attribute of the object,
- then the attribute is an attribute of the other object

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	If a kind of DataStorageDevice is equal to the set of copies on a kind of DataStorageDeviceS of an album and an entity is an instance of the kind of DataStorageDevice, then for all an object if the object is a member of the album, then there exists a content bearing object such that the content bearing object is a copy of the object and the content bearing object is stored on the kind of DataStorageDevice
(=> (and (instance ?COPY Copying) (resource ?COPY ?THING1) (result ?COPY ?THING2)) (copy ?THING1 ?THING2))	Mid-level-ontology.kif 19758-19763	If a process is an instance of copying and an object is a resource for the process and another object is a result of the process, then the object is a copy of the other object
(=> (attribute ?T SymmetricShape) (exists (?C1 ?C2) (and (copy ?C1 ?C2) (equal ?T (MereologicalSumFn ?C1 ?C2)))))	Mid-level-ontology.kif 2793-2799	If symmetric shape is an attribute of an object, then there exist another object and a third object such that the other object is a copy of the third object and the object is equal to the union of the parts of the other object and the third object
(=> (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	If a music recording is equal to the remix of another music recording by a cognitive agent, then there exists a process such that the process is an instance of intentional process and the other music recording is a patient of the process and the cognitive agent is an agent of the process and the music recording is a result of the process and the music recording is not equal to the other music recording and the music recording is not a copy of the other music recording
(=> (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	If an object is an instance of chemical agent, then there don't exist another object, a process and a third object such that the other object is an instance of organism and the process is an instance of biological process and the other object is an instrument for the process and the third object is a result of the process and the third object is a copy of the object
(=> (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	If an object is an instance of toxin, then there exist another object and a process such that the other object is an instance of toxic organism and the process is an instance of biological process and the other object is an instrument for the process and the object is a result of the process or there exists a third object such that the third object is a result of the process and the object is a copy of the third object

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

KB Term:			Term intersection

English Word: