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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HardcopyDocument
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
(subclass HardcopyDocument DataStorageDevice) Media.kif 1032-1032
(subclass HardcopyDocument Document) Media.kif 1033-1033
(subclass HardcopyDocument VisualContentBearingObject) Media.kif 1030-1030

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


(subclass Book HardcopyDocument) Media.kif 1077-1077

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


(=>
    (instance ?BOOK HardcopyDocument)
    (exists (?SHEET)
        (and
            (component ?SHEET ?BOOK)
            (instance ?SHEET PrintedSheet))))
Media.kif 1043-1048
(=>
    (instance ?OBJ HardcopyDocument)
    (attribute ?OBJ Solid))
Media.kif 1039-1041


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