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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeatherAndAlliedProductManufacturing

Sigma KEE - LeatherAndAlliedProductManufacturing
LeatherAndAlliedProductManufacturing(leather and allied product manufacturing)

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 Leather and allied product manufacturing is an instance of industry attribute

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


(subAttribute FootwearManufacturing LeatherAndAlliedProductManufacturing) naics.kif 2483-2483 Footwear manufacturing is a subattribute of leather and allied product manufacturing
(subAttribute LeatherAndHideTanningAndFinishing LeatherAndAlliedProductManufacturing) naics.kif 2477-2477 Leather and hide tanning and finishing is a subattribute of leather and allied product manufacturing
(subAttribute OtherLeatherAndAlliedProductManufacturing LeatherAndAlliedProductManufacturing) naics.kif 2523-2523 Other leather and allied product manufacturing is a subattribute of leather and allied product manufacturing
(termFormat ChineseLanguage LeatherAndAlliedProductManufacturing "皮革及相关产品制造") domainEnglishFormat.kif 33684-33684
(termFormat ChineseTraditionalLanguage LeatherAndAlliedProductManufacturing "皮革及相關產品製造") domainEnglishFormat.kif 33683-33683
(termFormat EnglishLanguage LeatherAndAlliedProductManufacturing "leather and allied product manufacturing") domainEnglishFormat.kif 33682-33682

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