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 5990-5992
(instance FurnitureAndRelatedProductManufacturing IndustryAttribute) naics.kif 5988-5988 家具及相关产品制造 是 行业属性 的 instance
(subAttribute FurnitureAndRelatedProductManufacturing FurnitureIndustry) Economy.kif 1752-1752 家具及相关产品制造 是 家具业 的 subAttribute

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


(disjoint MiscellaneousManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6141-6141 杂项制造业 和 % 2 是 disjoint
(subAttribute FurnitureManufacturing FurnitureAndRelatedProductManufacturing) Economy.kif 1755-1755 家具制造业 是 家具及相关产品制造 的 subAttribute
(subAttribute HouseholdAndInstitutionalFurnitureAndKitchenCabinetManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6012-6012 家庭和机构家具和厨柜制造 是 家具及相关产品制造 的 subAttribute
(subAttribute OfficeFurnitureIncludingFixturesManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6078-6078 办公家具包括固定装置制造 是 家具及相关产品制造 的 subAttribute
(subAttribute OtherFurnitureRelatedProductManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6115-6115 其他家具相关产品制造 是 家具及相关产品制造 的 subAttribute
(termFormat ChineseLanguage FurnitureAndRelatedProductManufacturing "家具及相关产品制造") domainEnglishFormat.kif 25268-25268
(termFormat ChineseTraditionalLanguage FurnitureAndRelatedProductManufacturing "家具及相關產品製造") domainEnglishFormat.kif 25267-25267
(termFormat EnglishLanguage FurnitureAndRelatedProductManufacturing "furniture and related product manufacturing") domainEnglishFormat.kif 25266-25266

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