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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ApparelManufacturing
ApparelManufacturing(apparel manufacturing)

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


(documentation ApparelManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Apparel Manufacturing.") naics.kif 2190-2192
(externalImage ApparelManufacturing "http://upload.wikimedia.org/wikipedia/ commons/ a/ a4/ Well-clothed_baby.jpg") pictureList.kif 8889-8889
(externalImage ApparelManufacturing "http://upload.wikimedia.org/wikipedia/ commons/ d/ dd/ Raverin.jpg") pictureList.kif 8890-8890
(instance ApparelManufacturing IndustryAttribute) naics.kif 2188-2188 Apparel manufacturing is an instance of industry attribute

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


(subAttribute ApparelAccessoriesAndOtherApparelManufacturing ApparelManufacturing) naics.kif 2415-2415 Apparel accessories and other apparel manufacturing is a subattribute of apparel manufacturing
(subAttribute ApparelKnittingMills ApparelManufacturing) naics.kif 2212-2212 Apparel knitting mills is a subattribute of apparel manufacturing
(subAttribute CutAndSewApparelManufacturing ApparelManufacturing) naics.kif 2258-2258 Cut and sew apparel manufacturing is a subattribute of apparel manufacturing
(termFormat ChineseLanguage ApparelManufacturing "服装制造业") domainEnglishFormat.kif 7988-7988 Cut and sew apparel manufacturing is a subattribute of apparel manufacturing
(termFormat ChineseTraditionalLanguage ApparelManufacturing "服裝製造業") domainEnglishFormat.kif 7987-7987 Cut and sew apparel manufacturing is a subattribute of apparel manufacturing
(termFormat EnglishLanguage ApparelManufacturing "apparel manufacturing") domainEnglishFormat.kif 7986-7986 Cut and sew apparel manufacturing is a subattribute of apparel manufacturing

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ApparelManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING Clothing)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 2194-2210


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