Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Photocopying

 Sigma KEE - Photocopying
Photocopying(photocopying)photocopy, run_off, xerox

appearance as argument number 1
-------------------------


(subclass Photocopying Making) Mid-level-ontology.kif 28882-28882 Photocopying is a subclass of making
(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 an exact copy.") Mid-level-ontology.kif 28883-28884 Photocopying is a subclass of making

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


(termFormat EnglishLanguage Photocopying "photocopying") domainEnglishFormat.kif 65312-65312

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


(=>
    (and
        (instance ?X Photocopier)
        (instrument ?COPY ?X)
        (instance ?COPY Photocopying)
        (patient ?COPY ?OBJ1)
        (instance ?OBJ1 TwoDimensionalObject)
        (instance ?OBJ1 VisualContentBearingObject)
        (containsInformation ?OBJ1 ?INFO))
    (exists (?OBJ2 ?SHEET)
        (and
            (result ?COPY ?OBJ2)
            (instance ?OBJ2 TwoDimensionalObject)
            (instance ?OBJ2 VisualContentBearingObject)
            (containsInformation ?OBJ2 ?INFO)
            (located ?OBJ2 ?SHEET)
            (instance ?SHEET PrintedSheet))))		 Mid-level-ontology.kif 28856-28872 If All of the following hold: (1) X is an instance of photocopier (2) X is an instrument for Y (3) Y is an instance of photocopying (4) Z is a patient of Y (5) Z is an instance of two dimensional object (6) Z is an instance of visual content bearing object (7) Z contains information W, then All of the following hold: (1) there exist V (2) U such that V is a result of Y (3) V is an instance of two dimensional object (4) V is an instance of visual content bearing object (5) V contains information W (6) V is located at U (7) U is an instance of printed sheet
(<=>
    (and
        (instance ?COPY Photocopying)
        (patient ?COPY ?OBJ1)
        (instance ?OBJ1 VisualContentBearingObject)
        (containsInformation ?OBJ1 ?INFO1))
    (exists (?OBJ2 ?INFO2)
        (and
            (result ?COPY ?OBJ2)
            (instance ?OBJ2 VisualContentBearingObject)
            (containsInformation ?OBJ2 ?INFO2)
            (equal ?INFO1 ?INFO2))))		 Mid-level-ontology.kif 28886-28897 All of the following hold: (1) X is an instance of photocopying (2) Y is a patient of X (3) Y is an instance of visual content bearing object (4) Y contains information Z if (5) only if there exist W (6) V such that W is a result of X (7) W is an instance of visual content bearing object (8) W contains information V (9) equal Z (10) V

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


(=>
    (instance ?X Photocopier)
    (hasPurpose ?X
        (exists (?COPY)
            (and
                (instance ?COPY Photocopying)
                (instrument ?COPY ?X)))))		 Mid-level-ontology.kif 28874-28880 If X is an instance of photocopier, then X has the purpose there exists Y such that Y is an instance of photocopying and X is an instrument for Y
(=>
    (instance ?X PhotocopyingService)
    (exists (?COPY)
        (and
            (instance ?COPY Photocopying)
            (subProcess ?COPY ?X))))		 Hotel.kif 2149-2154 If X is an instance of photocopying service, then there exists Y such that Y is an instance of photocopying and Y is a subprocess of X


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners