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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HardcopyDocument
HardcopyDocument(hardcopy document)hard_copy

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 Hardcopy document is a subclass of data display device
(subclass HardcopyDocument DataStorageDevice) Media.kif 1032-1032 Hardcopy document is a subclass of data storage device
(subclass HardcopyDocument Document) Media.kif 1033-1033 Hardcopy document is a subclass of document
(subclass HardcopyDocument VisualContentBearingObject) Media.kif 1030-1030 Hardcopy document is a subclass of visual content bearing object

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


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

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


(=>
    (instance ?BOOK HardcopyDocument)
    (exists (?SHEET)
        (and
            (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