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


KB Term:  Term intersection
English Word: 

  Photocopier

 Sigma KEE - Photocopier
Photocopier(photocopier)photocopier

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


(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 28849-28849 Photocopier is a subclass of electric device
(documentation Photocopier EnglishLanguage "An ElectricDevice designed for Making a two dimensional representation of an Object or a copy of a TwoDimensionalObject. Note that it is not necessarily used for Copying because it doesn't preserve all the Attributes of the original.") Mid-level-ontology.kif 28850-28852 Photocopier is a subclass of electric device

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


(termFormat EnglishLanguage Photocopier "photocopier") domainEnglishFormat.kif 65311-65311

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
(=>
    (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

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


(=>
    (and
        (instance ?X PhotocopyingService)
        (serviceProvider ?X ?AGENT))
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Photocopier)
            (possesses ?AGENT ?DEVICE)
            (instrument ?X ?DEVICE))))		 Hotel.kif 2156-2164 If X is an instance of photocopying service and Y provides a service during X, then there exists Z such that Z is an instance of photocopier, Y possesses Z, and Z is an instrument for 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