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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


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