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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FurnitureAndRelatedProductManufacturing
FurnitureAndRelatedProductManufacturing(furniture and related product manufacturing)

appearance as argument number 1
-------------------------


(documentation FurnitureAndRelatedProductManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Furniture and Related Product Manufacturing.") naics.kif 5990-5992
(instance FurnitureAndRelatedProductManufacturing IndustryAttribute) naics.kif 5988-5988 Furniture and related product manufacturing is an instance of industry attribute
(subAttribute FurnitureAndRelatedProductManufacturing FurnitureIndustry) Economy.kif 1752-1752 Furniture and related product manufacturing is a subattribute of furniture industry

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


(disjoint MiscellaneousManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6141-6141 Miscellaneous manufacturing is disjoint from furniture and related product manufacturing
(subAttribute FurnitureManufacturing FurnitureAndRelatedProductManufacturing) Economy.kif 1755-1755 Furniture manufacturing is a subattribute of furniture and related product manufacturing
(subAttribute HouseholdAndInstitutionalFurnitureAndKitchenCabinetManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6012-6012 Household and institutional furniture and kitchen cabinet manufacturing is a subattribute of furniture and related product manufacturing
(subAttribute OfficeFurnitureIncludingFixturesManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6078-6078 Office furniture including fixtures manufacturing is a subattribute of furniture and related product manufacturing
(subAttribute OtherFurnitureRelatedProductManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6115-6115 Other furniture related product manufacturing is a subattribute of furniture and related product manufacturing
(termFormat ChineseLanguage FurnitureAndRelatedProductManufacturing "家具及相关产品制造") domainEnglishFormat.kif 25302-25302 Other furniture related product manufacturing is a subattribute of furniture and related product manufacturing
(termFormat ChineseTraditionalLanguage FurnitureAndRelatedProductManufacturing "家具及相關產品製造") domainEnglishFormat.kif 25301-25301 Other furniture related product manufacturing is a subattribute of furniture and related product manufacturing
(termFormat EnglishLanguage FurnitureAndRelatedProductManufacturing "furniture and related product manufacturing") domainEnglishFormat.kif 25300-25300 Other furniture related product manufacturing is a subattribute of furniture and related product manufacturing

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG FurnitureAndRelatedProductManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING Furniture)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 5994-6010


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