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 26225-26227
(subclass Photocopier ElectricDevice)	Mid-level-ontology.kif 26224-26224	Photocopier は ElectricDevice の subclass では %n

appearance as argument number 2

(termFormat EnglishLanguage Photocopier "photocopier")

domainEnglishFormat.kif 65320-65320

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 26231-26247	オブジェクトは Photocopier の instance では %n オブジェクトは工程の instrument では %n 工程は Photocopying の instance では %n ContentBearingPhysical は工程の patient では %n ContentBearingPhysical は TwoDimensionalObject の instance では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は命題の情報を contains %n{ない} ContentBearingPhysical オブジェクト ContentBearingPhysical は工程の result では %n ContentBearingPhysical は TwoDimensionalObject の instance では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は命題の情報を contains %n{ない} ContentBearingPhysical はオブジェクトに located して %n オブジェクトは PrintedSheet の instance では %n
(=> (instance ?X Photocopier) (hasPurpose ?X (exists (?COPY) (and (instance ?COPY Photocopying) (instrument ?COPY ?X)))))	Mid-level-ontology.kif 26249-26255	物理は Photocopier の instance では %n 物理はエンティティーエンティティーは Photocopying の instance では %n 物理はエンティティーの instrument では %n の目的 %n{ない}

consequent

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

Hotel.kif 2138-2146

ServiceProcess は PhotocopyingService の instance では %n 認識エージェントは ServiceProcess の間サービスを provides %n{ない}
オブジェクトオブジェクトは Photocopier の instance では %n 認識エージェントはオブジェクトを possesses %n{ない} オブジェクトは ServiceProcess の instrument では %n

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: