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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeatherAndAlliedProductManufacturing

Sigma KEE - LeatherAndAlliedProductManufacturing
LeatherAndAlliedProductManufacturing(皮革及相关产品制造)

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


(documentation LeatherAndAlliedProductManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Leather and Allied Product Manufacturing.") naics.kif 2453-2455
(instance LeatherAndAlliedProductManufacturing IndustryAttribute) naics.kif 2451-2451 皮革及相关产品制造行业属性instance

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


(subAttribute FootwearManufacturing LeatherAndAlliedProductManufacturing) naics.kif 2483-2483 鞋类制造业皮革及相关产品制造subAttribute
(subAttribute LeatherAndHideTanningAndFinishing LeatherAndAlliedProductManufacturing) naics.kif 2477-2477 皮革和皮革鞣制和整理皮革及相关产品制造subAttribute
(subAttribute OtherLeatherAndAlliedProductManufacturing LeatherAndAlliedProductManufacturing) naics.kif 2523-2523 其他皮革及相关产品制造皮革及相关产品制造subAttribute
(termFormat ChineseLanguage LeatherAndAlliedProductManufacturing "皮革及相关产品制造") domainEnglishFormat.kif 33701-33701
(termFormat ChineseTraditionalLanguage LeatherAndAlliedProductManufacturing "皮革及相關產品製造") domainEnglishFormat.kif 33700-33700
(termFormat EnglishLanguage LeatherAndAlliedProductManufacturing "leather and allied product manufacturing") domainEnglishFormat.kif 33699-33699

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG LeatherAndAlliedProductManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (or
                        (instance ?THING Clothing)
                        (instance ?THING Fabric))
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 2457-2475


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