Photocopying - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Photocopying EnglishLanguage "The Process of Making a two dimensional representation of an Object. Note the difference between Photocopying and Copying, the result of Copying is na exact copy.")	Mid-level-ontology.kif 24386-24386
(subclass Photocopying Making)	Mid-level-ontology.kif 24385-24385	Photocopying is a subclass of making

antecedent

(=>
    (instance ?COPY Photocopying)
    (exists (?OBJ1 ?OBJ2)
        (and
            (instance ?OBJ1 Object)
            (instance ?OBJ2 VisualContentBearingObject)
            (patient ?COPY ?OBJ1)
            (result ?COPY ?OBJ2)
            (represents ?OBJ2 ?OBJ1))))

Mid-level-ontology.kif 24387-24395

If a process is an instance of Photocopying,
then there exist an entity and another entity such that the entity is an instance of object and the other entity is an instance of VisualContentBearingObject and the entity is a patient of the process and the other entity is a result of the process and the other entity expresses the entity

consequent

(=> (instance ?X Photocopier) (hasPurpose ?X (=> (and (instance ?OBJ1 TwoDimensionalObject) (instance ?OBJ1 VisualContentBearingObject) (containsInformation ?OBJ1 ?INFO) (instance ?COPY Photocopying) (instrument ?COPY ?X) (patient ?COPY ?OBJ1)) (exists (?OBJ2 ?SHEET) (and (result ?COPY ?OBJ2) (instance ?OBJ2 TwoDimensionalObject) (instance ?OBJ2 VisualContentBearingObject) (instance ?SHEET PrintedSheet) (located ?OBJ2 ?SHEET) (containsInformation ?OBJ2 ?INFO))))))	Mid-level-ontology.kif 24357-24375	If a physical is an instance of Photocopier, then the physical purpose if an entity is an instance of two dimensional object and the entity is an instance of VisualContentBearingObject and the entity contains information another entity and a third entity is an instance of Photocopying and the physical is an instrument for the third entity and the entity is a patient of the third entity, then there exist a fourth entity and a fifth entity such that the fourth entity is a result of the third entity and the fourth entity is an instance of two dimensional object and the fourth entity is an instance of VisualContentBearingObject and the fifth entity is an instance of PrintedSheet and the fourth entity is located at the fifth entity and the fourth entity contains information the other entity
(=> (instance ?X Photocopier) (hasPurpose ?X (exists (?COPY) (and (instance ?COPY Photocopying) (instrument ?COPY ?X)))))	Mid-level-ontology.kif 24377-24383	If a physical is an instance of Photocopier, then the physical purpose there exists an entity such that the entity is an instance of Photocopying and the physical is an instrument for the entity
(=> (instance ?X PhotocopyingService) (exists (?COPY) (and (instance ?COPY Photocopying) (subProcess ?COPY ?X))))	Hotel.kif 2077-2082	If a process is an instance of photocopying service, then there exists another process such that the other process is an instance of Photocopying and the other process is a subprocess of the process

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

KB Term:			Term intersection

English Word: