TreeView Knowledge Base Browser - PaperManufacturing

appearance as argument number 1

(instance PaperManufacturing IndustryAttribute)	naics.kif 2705-2705	Paper manufacturing is an instance of industry attribute
(documentation PaperManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Paper Manufacturing.")	naics.kif 2707-2709	Paper manufacturing is an instance of industry attribute
(externalImage PaperManufacturing "http://upload.wikimedia.org/wikipedia/ commons/ b/ ba/ ManilaPaper.jpg")	pictureList.kif 8638-8638	Paper manufacturing is an instance of industry attribute
(externalImage PaperManufacturing "http://upload.wikimedia.org/wikipedia/ commons/ c/ c4/ Coloured%2C_textured_craft_card.jpg")	pictureList.kif 9519-9519	Paper manufacturing is an instance of industry attribute

appearance as argument number 2

(termFormat EnglishLanguage PaperManufacturing "paper manufacturing")	domainEnglishFormat.kif 44321-44321
(termFormat ChineseTraditionalLanguage PaperManufacturing "造紙業")	domainEnglishFormat.kif 44322-44322
(termFormat ChineseLanguage PaperManufacturing "造纸业")	domainEnglishFormat.kif 44323-44323
(subAttribute PulpPaperAndPaperboardMills PaperManufacturing)	naics.kif 2724-2724	Pulp paper and paperboard mills is a subattribute of paper manufacturing
(subAttribute ConvertedPaperProductManufacturing PaperManufacturing)	naics.kif 2761-2761	Converted paper product manufacturing is a subattribute of paper manufacturing

antecedent

(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PaperManufacturing))
    (exists (?MEM ?EV ?THING)
        (and
            (instance ?MEM Industry)
            (member ?MEM ?ORG)
            (instance ?EV Manufacture)
            (agent ?EV ?MEM)
            (patient ?EV ?THING)
            (material Paper ?THING))))

If X is an instance of organization and paper manufacturing is an attribute of X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of industry (3) Y is a member of X (4) Z is an instance of manufacture (5) Y is an agent of Z (6) W is a patient of Z (7) W is made of paper