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


KB Term:  Term intersection
English Word: 

  PrintedSheet

 Sigma KEE - PrintedSheet
PrintedSheet(printed sheet)

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.") Mid-level-ontology.kif 28987-28991
(subclass PrintedSheet VisualContentBearingObject) Mid-level-ontology.kif 28996-28996 Printed sheet is a subclass of visual content bearing object
(subclass PrintedSheet DataDisplayDevice) Mid-level-ontology.kif 28997-28997 Printed sheet is a subclass of data display device
(subclass PrintedSheet DataStorageDevice) Mid-level-ontology.kif 28998-28998 Printed sheet is a subclass of data storage device

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


(subclass Poster PrintedSheet) Media.kif 1046-1046 Poster is a subclass of printed sheet
(subclass Transparency PrintedSheet) Media.kif 1053-1053 Transparency is a subclass of printed sheet
(termFormat EnglishLanguage PrintedSheet "printed sheet") domainEnglishFormat.kif 65361-65361 Transparency is a subclass of printed sheet

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


(=>
    (instance ?OBJ PrintedSheet)
    (shape ?OBJ Flat))		 Mid-level-ontology.kif 29000-29002 If X is an instance of printed sheet, then X is flat

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


(=>
    (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 ?BOOK HardcopyDocument)
    (exists (?SHEET)
        (and
            (component ?SHEET ?BOOK)
            (instance ?SHEET PrintedSheet))))		 Mid-level-ontology.kif 28980-28985 If X is an instance of hardcopy document, then there exists Y such that Y is a component of X and Y is an instance of printed sheet
(=>
    (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 1020-1028 If X is an instance of book, then All of the following hold: (1) there exist Y (2) Z such that Y is a component of X (3) Z is a component of X (4) Y is an instance of printed sheet (5) Z is an instance of printed sheet (6) equal Y (7) Z


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