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


KB Term:  Term intersection
English Word: 

Sigma KEE - Organization
Organization(organization)A-team, AA, AARP, AEC, AFL, AFL-CIO, AHPCRC, AMEX, Agriculture, Agriculture_Department, Air_Corps, Alcoholics_Anonymous, American_Federation_of_Labor, American_Federation_of_Labor_and_Congress_of_Industrial_Organizations, American_Legion, American_Stock_Exchange, Apollo_program, Army_High_Performance_Computing_Research_Center, Association_for_the_Advancement_of_Retired_Persons, Atomic_Energy_Commission, Beatles, Bedlam, Black_Hand, Bourse, Boy_Scout, Bureau_of_Customs, Bureau_of_Engraving_and_Printing, Bureau_of_the_Census, CIA, CIO, Camorra, Campfire_Girl, Census_Bureau, Central_Intelligence_Agency, College_of_Cardinals, Commerce, Commerce_Department, Comptroller_of_the_Currency, Congress_of_Industrial_Organizations, Cosa_Nostra, Council_of_Economic_Advisors, Council_on_Environmental_Policy, Creek_Confederacy, Cub_Scout, Curb, Customs_Bureau, Customs_Service, DOE, Defense, Defense_Department...

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


(subclass Organization Group) Merge.kif 16804-16804 Organization is a subclass of group
(subclass Organization AutonomousAgent) Merge.kif 16810-16810 Organization is a subclass of agent
(documentation Organization EnglishLanguage "An Organization is a corporate or similar institution. The members of an Organization typically have a common purpose or function. Note that this class also covers divisions, departments, etc. of organizations. For example, both the Shell Oil Corporation and the accounting department at Shell would both be instances of Organization. Note too that the existence of an Organization is dependent on the existence of at least one member (since Organization is a subclass of Collection). Accordingly, in cases of purely legal organizations, a fictitious member should be assumed.") Merge.kif 16812-16821 Organization is a subclass of agent

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


(subclass Business Organization) Merge.kif 16377-16377 Business is a subclass of organization
(subclass PoliticalOrganization Organization) Merge.kif 16845-16845 Political organization is a subclass of organization
(subclass GovernmentOrganization Organization) Merge.kif 16878-16878 Government organization is a subclass of organization
(subclass EducationalOrganization Organization) Merge.kif 16928-16928 Educational organization is a subclass of organization
(subclass ReligiousOrganization Organization) Merge.kif 16933-16933 Religious organization is a subclass of organization
(subclass Club Organization) Mid-level-ontology.kif 938-938 Club is a subclass of organization
(subclass PrivateOrganization Organization) Mid-level-ontology.kif 7724-7724 Private organization is a subclass of organization
(subclass SportsLeague Organization) Mid-level-ontology.kif 8198-8198 Sports league is a subclass of organization
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 8785-8785 Communication organization is a subclass of organization
(subclass MediaOrganization Organization) Mid-level-ontology.kif 8801-8801 Media organization is a subclass of organization
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 8814-8814 Nonprofit organization is a subclass of organization
(subclass CareOrganization Organization) Mid-level-ontology.kif 8831-8831 Care organization is a subclass of organization
(subclass Commission Organization) Mid-level-ontology.kif 9683-9683 Commission is a subclass of organization
(subclass ServiceOrganization Organization) Mid-level-ontology.kif 9696-9696 Service organization is a subclass of organization
(subclass OrganizationalBoard Organization) Mid-level-ontology.kif 9754-9754 Organizational board is a subclass of organization
(subclass SecurityUnit Organization) Mid-level-ontology.kif 9767-9767 Security unit is a subclass of organization
(subclass UnionOrganization Organization) Mid-level-ontology.kif 9784-9784 Union organization is a subclass of organization
(range DepartmentOfFn Organization) Mid-level-ontology.kif 20233-20233 The range of department is an instance of organization
(range DepartmentOfPreventingFn Organization) Mid-level-ontology.kif 20305-20305 The range of Department of preventing fn is an instance of organization
(termFormat EnglishLanguage Organization "organization") english_format.kif 1345-1345 The range of Department of preventing fn is an instance of organization

appearance as argument number 3
-------------------------


(domain publishes 1 Organization) Merge.kif 15658-15658 The number 1 argument of publishes is an instance of organization
(domain subOrganization 1 Organization) Merge.kif 16940-16940 The number 1 argument of sub organization is an instance of organization
(domain subOrganization 2 Organization) Merge.kif 16941-16941 The number 2 argument of sub organization is an instance of organization
(domain occupiesPosition 3 Organization) Merge.kif 17469-17469 The number 3 argument of occupies position is an instance of organization
(domain yearOfFounding 1 Organization) Mid-level-ontology.kif 953-953 The number 1 argument of year of founding is an instance of organization
(domain insured 2 Organization) Mid-level-ontology.kif 8317-8317 The number 2 argument of insured is an instance of organization
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 8780-8780 The number 1 argument of headquarters of organization is an instance of organization
(domain colleague 3 Organization) Mid-level-ontology.kif 18374-18374 The number 3 argument of colleague is an instance of organization
(domain monetaryWage 1 Organization) Mid-level-ontology.kif 18508-18508 The number 1 argument of monetary wage is an instance of organization
(domain DepartmentOfFn 1 Organization) Mid-level-ontology.kif 20231-20231 The number 1 argument of department is an instance of organization
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 20302-20302 The number 1 argument of Department of preventing fn is an instance of organization
(domain workLocation 1 Organization) Mid-level-ontology.kif 22808-22808 The number 1 argument of work location is an instance of organization
(domain subordinateInOrganization 1 Organization) Mid-level-ontology.kif 25087-25087 The number 1 argument of subordinate in organization is an instance of organization
(domain subordinatePosition 1 Organization) Mid-level-ontology.kif 25104-25104 The number 1 argument of subordinate position is an instance of organization
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 26505-26505 The number 1 argument of affiliated organization is an instance of organization
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 26506-26506 The number 2 argument of affiliated organization is an instance of organization
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 26511-26511 The number 1 argument of ideological affiliation of organization is an instance of organization
(domain religiousAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 26518-26518 The number 1 argument of religious affiliation of organization is an instance of organization
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 26533-26533 The number 1 argument of ancestor organization is an instance of organization
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 26534-26534 The number 2 argument of ancestor organization is an instance of organization
(domain policyOwner 1 Organization) Mid-level-ontology.kif 29844-29844 The number 1 argument of policy owner is an instance of organization

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


(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?ORG Organization)
        (agent ?JOIN ?PERSON)
        (patient ?JOIN ?ORG))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?JOIN))
            (not
                (member ?PERSON ?ORG)))
        (holdsDuring
            (EndFn
                (WhenFn ?JOIN))
            (member ?PERSON ?ORG))))		 Merge.kif 10736-10744 If X is an instance of joining an organization, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z is not a member of Y holds during the beginning of the time of existence of X and Z is a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?JOIN))
            (not
                (member ?PERSON ?ORG)))
        (holdsDuring
            (EndFn
                (WhenFn ?JOIN))
            (member ?PERSON ?ORG))))		 Merge.kif 10768-10776 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Z is not a member of Y holds during the beginning of the time of existence of X and Z is a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))		 Merge.kif 10778-10787 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y employs Z holds during immediately after the time of existence of X
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (expects ?ORG
        (exists (?FT)
            (and
                (instance ?FT FinancialTransaction)
                (agent ?FT ?ORG)
                (destination ?FT ?PERSON)
                (earlier
                    (WhenFn ?JOIN)
                    (WhenFn ?FT))))))		 Merge.kif 10789-10801 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y expects there exists W such that W is an instance of financial transaction, Y is an agent of W, W ends up at Z, and the time of existence of X happens earlier than the time of existence of W will be true
(=>
    (and
        (instance ?LEAVE LeavingAnOrganization)
        (instance ?ORG Organization)
        (agent ?LEAVE ?PERSON)
        (patient ?LEAVE ?ORG))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?LEAVE))
            (member ?PERSON ?ORG))
        (holdsDuring
            (EndFn
                (WhenFn ?LEAVE))
            (not
                (member ?PERSON ?ORG)))))		 Merge.kif 10809-10817 If X is an instance of leaving an organization, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z is a member of Y holds during the beginning of the time of existence of X and Z is not a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?LEAVE Quitting)
        (instance ?ORG Organization)
        (agent ?LEAVE ?PERSON)
        (patient ?LEAVE ?ORG))
    (desires ?PERSON
        (holdsDuring
            (EndFn
                (WhenFn ?LEAVE))
            (not
                (member ?PERSON ?ORG)))))		 Merge.kif 10823-10833 If X is an instance of quitting, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z desires Z is not a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?LEAVE Firing)
        (instance ?ORG Organization)
        (agent ?LEAVE ?ORG)
        (patient ?LEAVE ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?LEAVE))
            (member ?P ?ORG))
        (holdsDuring
            (EndFn
                (WhenFn ?LEAVE))
            (not
                (member ?P ?ORG)))))		 Merge.kif 10841-10849 If X is an instance of firing, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Z is a member of Y holds during the beginning of the time of existence of X and Z is not a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?HIRE Hiring)
        (instance ?ORG Organization)
        (agent ?HIRE ?ORG)
        (patient ?HIRE ?PERSON))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?HIRE))
            (not
                (employs ?ORG ?PERSON)))
        (holdsDuring
            (EndFn
                (WhenFn ?HIRE))
            (employs ?ORG ?PERSON))))		 Merge.kif 10882-10890 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y doesn't employ Z holds during the beginning of the time of existence of X and Y employs Z holds during the end of the time of existence of X
(=>
    (and
        (instance ?FIRE TerminatingEmployment)
        (instance ?ORG Organization)
        (agent ?FIRE ?ORG)
        (patient ?FIRE ?PERSON))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?FIRE))
            (employs ?ORG ?PERSON))
        (holdsDuring
            (EndFn
                (WhenFn ?FIRE))
            (not
                (employs ?ORG ?PERSON)))))		 Merge.kif 10898-10906 If X is an instance of terminating employment, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y employs Z holds during the beginning of the time of existence of X and Y doesn't employ Z holds during the end of the time of existence of X
(=>
    (and
        (instance ?PROCESS JudicialProcess)
        (agent ?PROCESS ?ORG)
        (instance ?ORG Organization))
    (instance ?ORG JudicialOrganization))		 Merge.kif 10938-10943 If X is an instance of judicial process, Y is an agent of X, and Y is an instance of organization, then Y is an instance of judicial organization
(=>
    (instance ?ORG Organization)
    (exists (?PURP)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?ORG)
                (hasPurpose ?MEMBER ?PURP)))))		 Merge.kif 16823-16829 If X is an instance of organization, then there exists Y such that Z Z is a member of XZ has the purpose Y
(=>
    (and
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (instance ?AGENT AutonomousAgent))		 Merge.kif 16831-16835 If X is an instance of organization and Y is a member of X, then Y is an instance of agent
(=>
    (and
        (instance ?UNIT CommercialUnit)
        (instance ?ORG Organization)
        (located ?ORG ?UNIT))
    (not
        (exists (?OTHER)
            (and
                (instance ?OTHER Organization)
                (located ?OTHER ?UNIT)
                (not
                    (equal ?OTHER ?ORG))))))		 Mid-level-ontology.kif 8247-8256 If X is an instance of commercial unit, Y is an instance of organization, and Y is located at X, then there doesn't exist Z such that Z is an instance of organization, Z is located at X, equal Z, and Y
(=>
    (and
        (instance ?OP BeginningOperations)
        (instance ?ORG Organization)
        (agent ?OP ?ORG))
    (starts ?OP
        (WhenFn ?ORG)))		 Mid-level-ontology.kif 17834-17839 If X is an instance of beginning operations, Y is an instance of organization, and Y is an agent of X, then X starts the time of existence of Y
(=>
    (and
        (instance ?OP CeasingOperations)
        (instance ?ORG Organization)
        (agent ?OP ?ORG))
    (finishes ?OP
        (WhenFn ?ORG)))		 Mid-level-ontology.kif 17871-17876 If X is an instance of ceasing operations, Y is an instance of organization, and Y is an agent of X, then X finishes the time of existence of Y
(=>
    (and
        (instance ?STRIKE LaborStriking)
        (agent ?STRIKE ?PERSON)
        (instance ?PERSON Human)
        (patient ?STRIKE ?ORG)
        (instance ?ORG Organization))
    (employs ?ORG ?PERSON))		 Mid-level-ontology.kif 18460-18467 If X is an instance of labor striking, Y is an agent of X, Y is an instance of human, Z is a patient of X, and Z is an instance of organization, then Z employs Y
(=>
    (and
        (directed ?DIRECTOR ?MOVIE)
        (instance ?FILMMAKING FilmMaking)
        (instance ?FILMCREW Organization)
        (leader ?FILMCREW ?DIRECTOR)
        (agent ?FILMMAKING ?FILMCREW)
        (result ?FILMMAKING ?MOVIE))
    (holdsDuring
        (WhenFn ?FILMMAKING)
        (attribute ?DIRECTOR FilmDirector)))		 Mid-level-ontology.kif 23013-23022 If All of the following hold: (1) X directed Y (2) Z is an instance of film making (3) W is an instance of organization (4) X is a leader of W (5) W is an agent of Z (6) Y is a result of Z, then film director is an attribute of X holds during the time of existence of Z
(=>
    (and
        (instance ?H Hotline)
        (telephoneNumber ?H ?O)
        (instance ?O Organization))
    (hasPurpose ?H
        (exists (?T)
            (and
                (instance ?T Telephoning)
                (destination ?T ?O)
                (modalAttribute
                    (exists (?C)
                        (and
                            (instance ?C Communication)
                            (instrument ?C ?H)
                            (equal
                                (BeginFn
                                    (WhenFn ?C))
                                (BeginFn
                                    (ImmediateFutureFn
                                        (WhenFn ?T)))))) Likely)))))		 Mid-level-ontology.kif 27474-27495 If X is an instance of hotline, X is the telephone number of Y, and Y is an instance of organization, then X has the purpose there exists Z such that Z is an instance of telephoning, Z ends up at Y, the statement there exists W such that W is an instance of communication, X is an instrument for W, equal the beginning of the time of existence of W, and the beginning of immediately after the time of existence of Z has the modal force of likely

consequent
-------------------------


(=>
    (and
        (instance ?ACT OrganizationalProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT Organization)
        (exists (?ORG)
            (and
                (instance ?ORG Organization)
                (member ?AGENT ?ORG)))))		 Merge.kif 10698-10707 If X is an instance of organizational process and Y is an agent of X, then Y is an instance of organization or there exists Z such that Z is an instance of organization and Y is a member of Z
(=>
    (and
        (instance ?WAR War)
        (agent ?WAR ?AGENT))
    (or
        (instance ?AGENT GeopoliticalArea)
        (and
            (instance ?AGENT Organization)
            (forall (?MEMBER)
                (=>
                    (member ?MEMBER ?AGENT)
                    (instance ?MEMBER GeopoliticalArea))))))		 Merge.kif 13514-13525 If X is an instance of war and Y is an agent of X, then Y is an instance of geopolitical area or Y is an instance of organization and For all Physical Z: if Z is a member of Y, then Z is an instance of geopolitical area
(=>
    (instance ?FOUND Founding)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (result ?FOUND ?ORG))))		 Mid-level-ontology.kif 931-936 If X is an instance of founding, then there exists Y such that Y is an instance of organization and Y is a result of X
(=>
    (and
        (instance ?UNIT CommercialUnit)
        (instance ?ORG Organization)
        (located ?ORG ?UNIT))
    (not
        (exists (?OTHER)
            (and
                (instance ?OTHER Organization)
                (located ?OTHER ?UNIT)
                (not
                    (equal ?OTHER ?ORG))))))		 Mid-level-ontology.kif 8247-8256 If X is an instance of commercial unit, Y is an instance of organization, and Y is located at X, then there doesn't exist Z such that Z is an instance of organization, Z is located at X, equal Z, and Y
(=>
    (instance ?RESOLUTION Resolution)
    (exists (?AGENT ?MEETING)
        (and
            (instance ?AGENT Organization)
            (agent ?RESOLUTION ?AGENT)
            (subProcess ?RESOLUTION ?MEETING)
            (instance ?MEETING FormalMeeting))))		 Mid-level-ontology.kif 17573-17580 If X is an instance of resolution, then there exist Y, Z such that Y is an instance of organization, Y is an agent of X, X is a subprocess of Z, and Z is an instance of formal meeting
(=>
    (instance ?BU BuildingUnit)
    (exists (?O ?B)
        (and
            (instance ?B Building)
            (instance ?O Organization)
            (part ?BU ?B)
            (workLocation ?O ?BU))))		 Mid-level-ontology.kif 22831-22838 If X is an instance of building unit, then there exist Y, Z such that Z is an instance of building, Y is an instance of organization, X is a part of Z, and members of Y work at X
(=>
    (directed ?DIRECTOR ?MOVIE)
    (exists (?FILMMAKING ?FILMCREW)
        (and
            (instance ?FILMMAKING FilmMaking)
            (instance ?FILMCREW Organization)
            (leader ?FILMCREW ?DIRECTOR)
            (agent ?FILMMAKING ?FILMCREW)
            (result ?FILMMAKING ?MOVIE))))		 Mid-level-ontology.kif 23003-23011 If X directed Y, then there exist Z, W such that Z is an instance of film making, W is an instance of organization, X is a leader of W, W is an agent of Z, and Y is a result of Z
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))		 Mid-level-ontology.kif 24522-24529 If business executive is an attribute of X, then there exist Y, Z such that Z is an instance of managing, Y is an instance of organization, Y is a patient of Z, and X is an agent of Z
(=>
    (holdsDuring ?T1
        (coworker ?H1 ?H2))
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (holdsDuring ?T1
                (and
                    (employs ?ORG ?H1)
                    (employs ?ORG ?H2))))))		 Mid-level-ontology.kif 25325-25334 If X is a coworker of Y holds during Z, then there exists W such that W is an instance of organization, W employs Y, and W employs X holds during 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 is open source software produced by Articulate Software and its partners