TreeView Knowledge Base Browser

appearance as argument number 1

(subclass HardcopyDocument VisualContentBearingObject)	Mid-level-ontology.kif 28971-28971	Hardcopy document is a subclass of visual content bearing object
(subclass HardcopyDocument DataDisplayDevice)	Mid-level-ontology.kif 28972-28972	Hardcopy document is a subclass of data display device
(subclass HardcopyDocument DataStorageDevice)	Mid-level-ontology.kif 28973-28973	Hardcopy document is a subclass of data storage device
(subclass HardcopyDocument Document)	Mid-level-ontology.kif 28974-28974	Hardcopy document is a subclass of document
(documentation HardcopyDocument EnglishLanguage "An instance of HardcopyDocument is a tangible (solid, touchable) Document, which typically has a number of printed sheets as components.")	Mid-level-ontology.kif 28975-28978	Hardcopy document is a subclass of document

appearance as argument number 2

(subclass Book HardcopyDocument)	Mid-level-ontology.kif 29004-29004	Book is a subclass of hardcopy document
(termFormat EnglishLanguage HardcopyDocument "hardcopy document")	domainEnglishFormat.kif 64969-64969	Book is a subclass of hardcopy document

antecedent

(=>
    (instance ?BOOK HardcopyDocument)
    (exists (?SHEET)
        (and
            (component ?SHEET ?BOOK)
            (instance ?SHEET PrintedSheet))))

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