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


(subclass UnionOrganization Organization) Mid-level-ontology.kif 9897-9897 Union organization is a subclass of organization
(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 9898-9901 Union organization is a subclass of organization
(externalImage UnionOrganization "http://upload.wikimedia.org/wikipedia/ commons/ a/ a6/ UnisonStrikeRallyOxford20060328_KaihsuTai.jpg") pictureList.kif 10319-10319 Union organization is a subclass of organization
(externalImage UnionOrganization "http://upload.wikimedia.org/wikipedia/ en/ 9/ 9c/ 2006labour.PNG") pictureList.kif 12103-12103 Union organization is a subclass of organization
(externalImage UnionOrganization "http://upload.wikimedia.org/wikipedia/ commons/ d/ d3/ John_Edwards_WGA_strike.jpg") pictureList.kif 12104-12104 Union organization is a subclass of organization
(externalImage UnionOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7b/ Wga_rally_-_ave_stars_-_crossing_street.JPG") pictureList.kif 12105-12105 Union organization is a subclass of organization
(externalImage UnionOrganization "http://upload.wikimedia.org/wikipedia/ commons/ a/ a7/ Paris_Metro_2007_strike_-_La_Defense.png") pictureList.kif 12106-12106 Union organization is a subclass of organization
(externalImage UnionOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ 2007Demo_duesseldorf_8.8._003.jpg") pictureList.kif 12107-12107 Union organization is a subclass of organization

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


(termFormat EnglishLanguage UnionOrganization "union organization") domainEnglishFormat.kif 59993-59993
(termFormat ChineseTraditionalLanguage UnionOrganization "工會組織") domainEnglishFormat.kif 59994-59994
(termFormat ChineseLanguage UnionOrganization "工会组织") domainEnglishFormat.kif 59995-59995

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 9903-9916 If X is an instance of union organization, then there exist Y, Z such that Z is a member of XY is an instance of corporation, Y employs Z or there exists W such that Y is an instance of industry, W is a member of Y, and W employs Z


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