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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnionOrganization
UnionOrganization(union organization)
more pictures...
I.W.W., IWW, Industrial_Workers_of_the_World, brotherhood, labor_union, trade_union, trades_union, union

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


(documentation UnionOrganization EnglishLanguage "An Organization comprised of workers from the same Corporation or Industry. The purpose of the UnionOrganization is to strengthen its representation in bargaining with the Corporation or Industry.") Mid-level-ontology.kif 8539-8542
(externalImage UnionOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ 2007Demo_duesseldorf_8.8._003.jpg") pictureList.kif 12118-12118
(externalImage UnionOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7b/ Wga_rally_-_ave_stars_-_crossing_street.JPG") pictureList.kif 12116-12116
(externalImage UnionOrganization "http://upload.wikimedia.org/wikipedia/ commons/ a/ a6/ UnisonStrikeRallyOxford20060328_KaihsuTai.jpg") pictureList.kif 10321-10321
(externalImage UnionOrganization "http://upload.wikimedia.org/wikipedia/ commons/ a/ a7/ Paris_Metro_2007_strike_-_La_Defense.png") pictureList.kif 12117-12117
(externalImage UnionOrganization "http://upload.wikimedia.org/wikipedia/ commons/ d/ d3/ John_Edwards_WGA_strike.jpg") pictureList.kif 12115-12115
(externalImage UnionOrganization "http://upload.wikimedia.org/wikipedia/ en/ 9/ 9c/ 2006labour.PNG") pictureList.kif 12114-12114
(subclass UnionOrganization Organization) Mid-level-ontology.kif 8538-8538 Union organization is a subclass of organization

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


(termFormat ChineseLanguage UnionOrganization "工会组织") domainEnglishFormat.kif 60008-60008
(termFormat ChineseTraditionalLanguage UnionOrganization "工會組織") domainEnglishFormat.kif 60007-60007
(termFormat EnglishLanguage UnionOrganization "union organization") domainEnglishFormat.kif 60006-60006

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


(=>
    (instance ?ORG UnionOrganization)
    (exists (?COLL ?MEMBER)
        (=>
            (member ?MEMBER ?ORG)
            (or
                (and
                    (instance ?COLL Corporation)
                    (employs ?COLL ?MEMBER))
                (exists (?CORP)
                    (and
                        (instance ?COLL Industry)
                        (member ?CORP ?COLL)
                        (employs ?CORP ?MEMBER)))))))
Mid-level-ontology.kif 8544-8557


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