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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - HardcopyDocument

appearance as argument number 1

(documentation HardcopyDocument EnglishLanguage "An instance of HardcopyDocument is a tangible (solid, touchable) Document, which typically has a number of printed sheets as components.") Media.kif 1034-1037
(subclass HardcopyDocument DataDisplayDevice) Media.kif 1031-1031 HardcopyDocumentDataDisplayDevicesubclass
(subclass HardcopyDocument DataStorageDevice) Media.kif 1032-1032 HardcopyDocumentDataStorageDevicesubclass
(subclass HardcopyDocument Document) Media.kif 1033-1033 HardcopyDocumentDocumentsubclass
(subclass HardcopyDocument VisualContentBearingObject) Media.kif 1030-1030 HardcopyDocumentVisualContentBearingObjectsubclass

appearance as argument number 2

(subclass Book HardcopyDocument) Media.kif 1073-1073 HardcopyDocumentsubclass
(termFormat EnglishLanguage HardcopyDocument "hardcopy document") domainEnglishFormat.kif 64966-64966


    (instance ?BOOK HardcopyDocument)
    (exists (?SHEET)
            (component ?SHEET ?BOOK)
            (instance ?SHEET PrintedSheet))))
Media.kif 1039-1044

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