Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(instance LeatherAndAlliedProductManufacturing IndustryAttribute) naics.kif 2445-2445 Leather and allied product manufacturing is an instance of industry attribute
(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 2447-2449 Leather and allied product manufacturing is an instance of industry attribute

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


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

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 2451-2469 If X is an instance of organization and leather and allied product manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of clothing or W is an instance of fabric (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners