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 HardcopyDocument ist eine teilkategorie von DataDisplayDevice
(subclass HardcopyDocument DataStorageDevice) Media.kif 1032-1032 HardcopyDocument ist eine teilkategorie von DataStorageDevice
(subclass HardcopyDocument Document) Media.kif 1033-1033 HardcopyDocument ist eine teilkategorie von Document
(subclass HardcopyDocument VisualContentBearingObject) Media.kif 1030-1030 HardcopyDocument ist eine teilkategorie von VisualContentBearingObject

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


(subclass Book HardcopyDocument) Media.kif 1073-1073 Book ist eine teilkategorie von HardcopyDocument
(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