copy (copy)

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.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída

inheritable relation

binární predikát
is instance of

relace ekvivalence
is instance of

copy

Související termín(y)

arc weight authors before or equal causes causes subclass citizen closed on connected contains information cooccur date decreases likelihood developmental form disjoint distributes documentation duration earlier editor element employs equal equivalence relation on equivalent content class equivalent content instance exploits expressed in language faces family relation finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance inverse irreflexive on larger less than less than or equal to material measure meets temporally modal attribute overlaps temporally parent partial ordering on partly located path length possesses precondition prevents property publishes range range subclass refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure temporal part time total ordering on trichotomizing on uses valence version

Typy argumentů

copy(objekt, objekt)

Related WordNet synsets

copy: an imitation or reproduction of an original; "she made a copy of the designer dress"
duplicate, duplication: either of two things that correspond to one another exactly; "he made a duplicate for the files"
identical, indistinguishable: exactly alike; incapable of being perceived as different; "rows of identical houses"; "cars identical except for their license plates"; "they wore indistinguishable hats"

See more related synsets on a separate page.

Axiomy (1)

jestliže obj1 je an exact copy of obj2,
potom pro všechny attr platí: jestliže attr je atributem obj1, potom attr je atributem obj2

(=>
      (copy ?OBJ1 ?OBJ2)
      (forall
            (?ATTR)
            (=>
                  (attribute ?OBJ1 ?ATTR)
                  (attribute ?OBJ2 ?ATTR))))