Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| copy |
| appearance as argument number 1 |
|
| (instance copy BinaryPredicate) | Merge.kif 3949-3949 | copy is an instance of binary predicate |
| (instance copy EquivalenceRelation) | Merge.kif 3950-3950 | copy is an instance of equivalence relation |
| (domain copy 1 Object) | Merge.kif 3951-3951 | The number 1 argument of copy is an instance of object |
| (domain copy 2 Object) | Merge.kif 3952-3952 | The number 2 argument of copy is an instance of object |
| (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 3954-3957 | The number 2 argument of copy is an instance of object |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (copy ?OBJ1 ?OBJ2) (forall (?ATTR) (=> (attribute ?OBJ1 ?ATTR) (attribute ?OBJ2 ?ATTR)))) |
Merge.kif 3959-3964 | If X is a copy of Y, then For all Attribute Z: if Z is an attribute of X, then Z is an attribute of Y |
| consequent |
|
|
| (=> (attribute ?T SymmetricShape) (exists (?C1 ?C2) (and (copy ?C1 ?C2) (equal ?T (MereologicalSumFn ?C1 ?C2))))) |
Mid-level-ontology.kif 3469-3475 | If symmetric shape is an attribute of X, then there exist Y, Z such that Y is a copy of Z, equal X, the union of the parts of Y, and Z |
| (=> (and (instance ?COPY Copying) (resource ?COPY ?THING1) (result ?COPY ?THING2)) (copy ?THING1 ?THING2)) |
Mid-level-ontology.kif 22657-22662 | If X is an instance of copying, Y is a resource for X, and Z is a result of X, then Y is a copy of Z |
| (=> (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 891-900 | If equal X and the remix of Y by Z, then All of the following hold: (1) there exists W such that W is an instance of intentional process (2) Y is a patient of W (3) Z is an agent of W (4) X is a result of W (5) equal X (6) Y (7) X is not a copy of Y |
| (=> (and (equal ?D (AlbumCopiesFn ?A ?DS)) (instance ?X ?D)) (forall (?S) (=> (inList ?S ?A) (exists (?C) (and (copy ?C ?S) (dataStored ?C ?X)))))) |
Music.kif 938-948 | If equal X and the set of copies on Y of Z and W is an instance of X, then For all Object V: if V is a member of Z, then there exists U such that U is a copy of V and W is stored on U |
| (=> (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 160-172 | If X is an instance of toxin, then there exist Y, Z such that Y is an instance of toxic organism, Z is an instance of biological process, Y is an instrument for Z, X is a result of Z or there exists W such that W is a result of Z, and X is a copy of W |
| (=> (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 459-468 | If X is an instance of chemical agent, then there don't exist Y, Z, W such that Y is an instance of organism, Z is an instance of biological process, Y is an instrument for Z, W is a result of Z, and W is a copy of X |
|