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 LeatherAndAlliedProductManufacturing est une instance de IndustryAttribute

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


(subAttribute FootwearManufacturing LeatherAndAlliedProductManufacturing) naics.kif 2483-2483 FootwearManufacturing est un sous-attribut de LeatherAndAlliedProductManufacturing
(subAttribute LeatherAndHideTanningAndFinishing LeatherAndAlliedProductManufacturing) naics.kif 2477-2477 LeatherAndHideTanningAndFinishing est un sous-attribut de LeatherAndAlliedProductManufacturing
(subAttribute OtherLeatherAndAlliedProductManufacturing LeatherAndAlliedProductManufacturing) naics.kif 2523-2523 OtherLeatherAndAlliedProductManufacturing est un sous-attribut de LeatherAndAlliedProductManufacturing
(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