Photocopier - Sigma Knowledge base Browser

appearance as argument number 1

(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 27951-27953
(subclass Photocopier ElectricDevice)	Mid-level-ontology.kif 27950-27950	Photocopier is a subclass of electric device

appearance as argument number 2

(termFormat EnglishLanguage Photocopier "photocopier")

domainEnglishFormat.kif 65331-65331

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 27957-27973	If an object is an instance of photocopier and the object is an instrument for a process and the process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of two dimensional object and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition, then there exist another content bearing physical and another object such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of two dimensional object and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the proposition and the other content bearing physical is located at the other object and the other object is an instance of printed sheet
(=> (instance ?X Photocopier) (hasPurpose ?X (exists (?COPY) (and (instance ?COPY Photocopying) (instrument ?COPY ?X)))))	Mid-level-ontology.kif 27975-27981	If a physical is an instance of photocopier, then the physical has the purpose there exists an entity such that the entity is an instance of photocopying and the physical is an instrument for the entity

consequent

(=>
    (and
        (instance ?X PhotocopyingService)
        (serviceProvider ?X ?AGENT))
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Photocopier)
            (possesses ?AGENT ?DEVICE)
            (instrument ?X ?DEVICE))))

Hotel.kif 2149-2157

If a service is an instance of photocopying service and a cognitive agent provides a service during the service,
then there exists an object such that the object is an instance of photocopier and the cognitive agent possesses the object and the object is an instrument for the service

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: