Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Photocopier
Photocopierphotocopier

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 25776-25778
(subclass Photocopier ElectricDevice) Mid-level-ontology.kif 25775-25775 Photocopier is a subclass of electric device

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


(=>
    (instance ?X Photocopier)
    (hasPurpose ?X
        (exists (?COPY ?OBJ1 ?INFO ?OBJ2 ?SHEET)
            (and
                (instance ?OBJ1 TwoDimensionalObject)
                (instance ?OBJ1 VisualContentBearingObject)
                (containsInformation ?OBJ1 ?INFO)
                (instance ?COPY Photocopying)
                (instrument ?COPY ?X)
                (patient ?COPY ?OBJ1)
                (result ?COPY ?OBJ2)
                (instance ?OBJ2 TwoDimensionalObject)
                (instance ?OBJ2 VisualContentBearingObject)
                (instance ?SHEET PrintedSheet)
                (located ?OBJ2 ?SHEET)
                (containsInformation ?OBJ2 ?INFO)))))
Mid-level-ontology.kif 25780-25796
(=>
    (instance ?X Photocopier)
    (hasPurpose ?X
        (exists (?COPY)
            (and
                (instance ?COPY Photocopying)
                (instrument ?COPY ?X)))))
Mid-level-ontology.kif 25798-25804

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


(=>
    (and
        (instance ?X PhotocopyingService)
        (serviceProvider ?X ?AGENT))
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Photocopier)
            (possesses ?AGENT ?DEVICE)
            (instrument ?X ?DEVICE))))
Hotel.kif 2138-2146


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