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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FurnitureAndRelatedProductManufacturing

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 5990-5992
(instance FurnitureAndRelatedProductManufacturing IndustryAttribute) naics.kif 5988-5988
(subAttribute FurnitureAndRelatedProductManufacturing FurnitureIndustry) Economy.kif 1756-1756

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


(disjoint MiscellaneousManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6141-6141
(subAttribute FurnitureManufacturing FurnitureAndRelatedProductManufacturing) Economy.kif 1759-1759
(subAttribute HouseholdAndInstitutionalFurnitureAndKitchenCabinetManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6012-6012
(subAttribute OfficeFurnitureIncludingFixturesManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6078-6078
(subAttribute OtherFurnitureRelatedProductManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6115-6115
(termFormat ChineseLanguage FurnitureAndRelatedProductManufacturing "家具及相关产品制造") domainEnglishFormat.kif 25263-25263
(termFormat ChineseTraditionalLanguage FurnitureAndRelatedProductManufacturing "家具及相關產品製造") domainEnglishFormat.kif 25262-25262
(termFormat EnglishLanguage FurnitureAndRelatedProductManufacturing "furniture and related product manufacturing") domainEnglishFormat.kif 25261-25261

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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