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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FurnitureAndRelatedProductManufacturing
FurnitureAndRelatedProductManufacturing

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 5997-5999
(instance FurnitureAndRelatedProductManufacturing IndustryAttribute) naics.kif 5995-5995
(subAttribute FurnitureAndRelatedProductManufacturing FurnitureIndustry) Economy.kif 1756-1756

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


(disjoint MiscellaneousManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6148-6148
(subAttribute FurnitureManufacturing FurnitureAndRelatedProductManufacturing) Economy.kif 1759-1759
(subAttribute HouseholdAndInstitutionalFurnitureAndKitchenCabinetManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6019-6019
(subAttribute OfficeFurnitureIncludingFixturesManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6085-6085
(subAttribute OtherFurnitureRelatedProductManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6122-6122
(termFormat ChineseLanguage FurnitureAndRelatedProductManufacturing "家具及相关产品制造") domainEnglishFormat.kif 25195-25195
(termFormat ChineseTraditionalLanguage FurnitureAndRelatedProductManufacturing "家具及相關產品製造") domainEnglishFormat.kif 25194-25194
(termFormat EnglishLanguage FurnitureAndRelatedProductManufacturing "furniture and related product manufacturing") domainEnglishFormat.kif 25193-25193

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 6001-6017


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