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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PrintedSheet
PrintedSheet

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


(documentation PrintedSheet EnglishLanguage "An instance of PrintedSheet is a piece of flat material such as paper, vellum, or plastic on which some Image or LinguisticExpression has been written, printed, embossed, or otherwise deposited.") Media.kif 1060-1064
(subclass PrintedSheet DataDisplayDevice) Media.kif 1070-1070 PrintedSheet is a subclass of DataDisplayDevice
(subclass PrintedSheet DataStorageDevice) Media.kif 1071-1071 PrintedSheet is a subclass of DataStorageDevice
(subclass PrintedSheet VisualContentBearingObject) Media.kif 1069-1069 PrintedSheet is a subclass of VisualContentBearingObject

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


(subclass Poster PrintedSheet) Media.kif 1105-1105 Poster is a subclass of PrintedSheet
(subclass Transparency PrintedSheet) Media.kif 1112-1112 Transparency is a subclass of PrintedSheet

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


(=>
    (instance ?OBJ PrintedSheet)
    (shape ?OBJ Flat))
Media.kif 1073-1075

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


(=>
    (instance ?BOOK Book)
    (exists (?SHEET1 ?SHEET2)
        (and
            (component ?SHEET1 ?BOOK)
            (component ?SHEET2 ?BOOK)
            (instance ?SHEET1 PrintedSheet)
            (instance ?SHEET2 PrintedSheet)
            (not
                (equal ?SHEET1 ?SHEET2)))))
Media.kif 1079-1087
(=>
    (instance ?BOOK HardcopyDocument)
    (exists (?SHEET)
        (and
            (component ?SHEET ?BOOK)
            (instance ?SHEET PrintedSheet))))
Media.kif 1043-1048
(=>
    (instance ?X Photocopier)
    (hasPurpose ?X
        (=>
            (and
                (instance ?OBJ1 TwoDimensionalObject)
                (instance ?OBJ1 VisualContentBearingObject)
                (containsInformation ?OBJ1 ?INFO)
                (instance ?COPY Photocopying)
                (instrument ?COPY ?X)
                (patient ?COPY ?OBJ1))
            (exists (?OBJ2 ?SHEET)
                (and
                    (result ?COPY ?OBJ2)
                    (instance ?OBJ2 TwoDimensionalObject)
                    (instance ?OBJ2 VisualContentBearingObject)
                    (instance ?SHEET PrintedSheet)
                    (located ?OBJ2 ?SHEET)
                    (containsInformation ?OBJ2 ?INFO))))))
Mid-level-ontology.kif 24357-24375


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners