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 16961-16961 Organization is a subclass of group
(subclass Organization AutonomousAgent) Merge.kif 16967-16967 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 CollectionOfObjects). Accordingly, in cases of purely legal organizations, a fictitious member should be assumed.") Merge.kif 16969-16978 Organization is a subclass of agent

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


(subclass Business Organization) Merge.kif 16536-16536 Business is a subclass of organization
(subclass PoliticalOrganization Organization) Merge.kif 17002-17002 Political organization is a subclass of organization
(subclass GovernmentOrganization Organization) Merge.kif 17035-17035 Government organization is a subclass of organization
(subclass EducationalOrganization Organization) Merge.kif 17085-17085 Educational organization is a subclass of organization
(subclass ReligiousOrganization Organization) Merge.kif 17090-17090 Religious organization is a subclass of organization
(subclass Club Organization) Mid-level-ontology.kif 932-932 Club is a subclass of organization
(subclass PrivateOrganization Organization) Mid-level-ontology.kif 7819-7819 Private organization is a subclass of organization
(subclass SportsLeague Organization) Mid-level-ontology.kif 8297-8297 Sports league is a subclass of organization
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 8861-8861 Communication organization is a subclass of organization
(subclass MediaOrganization Organization) Mid-level-ontology.kif 8877-8877 Media organization is a subclass of organization
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 8890-8890 Nonprofit organization is a subclass of organization
(subclass CareOrganization Organization) Mid-level-ontology.kif 8907-8907 Care organization is a subclass of organization
(subclass Commission Organization) Mid-level-ontology.kif 9759-9759 Commission is a subclass of organization
(subclass ServiceOrganization Organization) Mid-level-ontology.kif 9772-9772 Service organization is a subclass of organization
(subclass OrganizationalBoard Organization) Mid-level-ontology.kif 9830-9830 Organizational board is a subclass of organization
(subclass SecurityUnit Organization) Mid-level-ontology.kif 9843-9843 Security unit is a subclass of organization
(subclass UnionOrganization Organization) Mid-level-ontology.kif 9859-9859 Union organization is a subclass of organization
(range DepartmentOfFn Organization) Mid-level-ontology.kif 20184-20184 The range of department is an instance of organization
(range DepartmentOfPreventingFn Organization) Mid-level-ontology.kif 20256-20256 The range of Department of preventing fn is an instance of organization
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17 Financial organization is a subclass of organization
(instance NASDAQ Organization) FinancialOntology.kif 1786-1786 NASDAQ is an instance of organization
(subclass StockMarket Organization) FinancialOntology.kif 1800-1800 Stock market is a subclass of organization
(subclass MetallurgicalPlant Organization) Geography.kif 4186-4186 Metallurgical plant is a subclass of organization
(range AgreementOrganizationFn Organization) Geography.kif 4489-4489 The range of agreement organization is an instance of organization
(range ExecutiveBranchFn Organization) Government.kif 1293-1293 The range of executive branch is an instance of organization

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain publishes 1 Organization) Merge.kif 15770-15770 The number 1 argument of publishes is an instance of organization
(domain subOrganization 1 Organization) Merge.kif 17097-17097 The number 1 argument of sub organization is an instance of organization
(domain subOrganization 2 Organization) Merge.kif 17098-17098 The number 2 argument of sub organization is an instance of organization
(domain occupiesPosition 3 Organization) Merge.kif 17622-17622 The number 3 argument of occupies position is an instance of organization
(domain yearOfFounding 1 Organization) Mid-level-ontology.kif 947-947 The number 1 argument of year of founding is an instance of organization
(domain insured 2 Organization) Mid-level-ontology.kif 8416-8416 The number 2 argument of insured is an instance of organization
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 8856-8856 The number 1 argument of headquarters of organization is an instance of organization
(domain colleague 3 Organization) Mid-level-ontology.kif 18402-18402 The number 3 argument of colleague is an instance of organization
(domain monetaryWage 1 Organization) Mid-level-ontology.kif 18536-18536 The number 1 argument of monetary wage is an instance of organization
(domain DepartmentOfFn 1 Organization) Mid-level-ontology.kif 20182-20182 The number 1 argument of department is an instance of organization
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 20253-20253 The number 1 argument of Department of preventing fn is an instance of organization
(domain workLocation 1 Organization) Mid-level-ontology.kif 22725-22725 The number 1 argument of work location is an instance of organization
(domain subordinateInOrganization 1 Organization) Mid-level-ontology.kif 24959-24959 The number 1 argument of subordinate in organization is an instance of organization
(domain subordinatePosition 1 Organization) Mid-level-ontology.kif 24976-24976 The number 1 argument of subordinate position is an instance of organization
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 26377-26377 The number 1 argument of affiliated organization is an instance of organization
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 26378-26378 The number 2 argument of affiliated organization is an instance of organization
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 26383-26383 The number 1 argument of ideological affiliation of organization is an instance of organization
(domain religiousAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 26390-26390 The number 1 argument of religious affiliation of organization is an instance of organization
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 26405-26405 The number 1 argument of ancestor organization is an instance of organization
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 26406-26406 The number 2 argument of ancestor organization is an instance of organization
(domain policyOwner 1 Organization) Mid-level-ontology.kif 29747-29747 The number 1 argument of policy owner is an instance of organization
(domain grossMerchandiseBoughtInPeriod 2 Organization) ComputerInput.kif 2984-2984 The number 2 argument of GMB is an instance of organization
(domain grossMerchandiseSoldInPeriod 2 Organization) ComputerInput.kif 3013-3013 The number 2 argument of GMV is an instance of organization
(domain thirdPartyProduct 2 Organization) ComputingBrands.kif 3832-3832 The number 2 argument of third party product is an instance of organization
(domain organizationProductType 1 Organization) Economy.kif 1740-1740 The number 1 argument of organization product type is an instance of organization

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 10824-10832 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 10857-10865 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 10867-10876 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 10878-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 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 10898-10906 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 10912-10922 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 10930-10938 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 10971-10979 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 10987-10995 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 11027-11032 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 16980-16986 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 16988-16992 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 8346-8355 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 17881-17886 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 17918-17923 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 18488-18495 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 22930-22939 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 27367-27388 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
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ?INDUSTRY)
        (industryProductType ?INDUSTRY ?TYPE))
    (exists (?EVENT ?ITEM)
        (and
            (instance ?EVENT Making)
            (instance ?ITEM ?TYPE)
            (agent ?EVENT ?ORG)
            (result ?EVENT ?ITEM))))		 Economy.kif 1727-1737 If X is an instance of organization, Y is an attribute of X, and Z is an industry product type of Y, then there exist W, V such that W is an instance of making, V is an instance of Z, X is an agent of W, and V is a result of W
(=>
    (and
        (industryProductType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationProductType ?BUSINESS ?TYPE))		 Economy.kif 1753-1759 If X is an industry product type of Y, Y is an instance of industry attribute, Z is an instance of organization, and Y is an attribute of Z, then X is an organization product type of Z
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ?INDUSTRY)
        (industryServiceType ?INDUSTRY ?TYPE))
    (exists (?EVENT)
        (and
            (instance ?EVENT ?TYPE)
            (agent ?EVENT ?ORG))))		 Economy.kif 1769-1777 If X is an instance of organization, Y is an attribute of X, and Z is an industry service type of Y, then there exists W such that W is an instance of Z and X is an agent of W
(=>
    (and
        (industryServiceType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationServiceType ?BUSINESS ?TYPE))		 Economy.kif 1793-1799 If X is an industry service type of Y, Y is an instance of industry attribute, Z is an instance of organization, and Y is an attribute of Z, then X is an organization service type of Z
(=>
    (and
        (instance ?AGR InternationalAgreement)
        (instance
            (AgreementOrganizationFn ?AGR) Organization))
    (instance
        (AgreementOrganizationFn ?AGR) OrganizationOfNations))		 Geography.kif 4495-4499 If X is an instance of international agreement and the agreement organization of X is an instance of organization, then the agreement organization of X is an instance of organization of nations
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT Organization))
    (instance ?AGENT ReligiousOrganization))		 Government.kif 345-350 If X is a government type of Y, X is a subattribute of theocratic government, and Y is an instance of organization, then Y is an instance of religious organization
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))		 Government.kif 1272-1276 If X is an executive branch of Y and X is an instance of organization, then Y is a part of the organization X

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?ACT OrganizationalProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT Organization)
        (exists (?ORG)
            (and
                (instance ?ORG Organization)
                (member ?AGENT ?ORG)))))		 Merge.kif 10786-10795 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 13648-13659 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 925-930 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 8346-8355 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 17620-17627 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 22748-22755 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 22920-22928 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 24405-24412 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 25237-25246 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
(=>
    (instance ?N BroadcastNetwork)
    (exists (?O)
        (and
            (instance ?O Organization)
            (forall (?M)
                (=>
                    (member ?M ?N)
                    (possesses ?O ?M))))))		 Communications.kif 422-430 If X is an instance of broadcast network, then there exists Y such that Y is an instance of organization and Z Z is a member of XY possesses Z
(=>
    (economyType ?AGENT ?ATTRIBUTE)
    (or
        (instance ?AGENT GeopoliticalArea)
        (instance ?AGENT Organization)))		 Economy.kif 91-95 If X is an economy type of Y, then Y is an instance of geopolitical area or Y is an instance of organization
(=>
    (equal ?FY
        (FiscalYearFn ?PLACE))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))		 Economy.kif 4036-4040 If equal X and the fiscal year of Y, then Y is an instance of geopolitical area or Y is an instance of organization
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))		 Economy.kif 4064-4068 If equal X, the fiscal year starting of Y, and Z, then Y is an instance of geopolitical area or Y is an instance of organization
(=>
    (governmentType ?AGENT ?TYPE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 136-140 If X is a government type of Y, then Y is an instance of organization or Y is an instance of geopolitical area
(=>
    (suffrageAgeMinimum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 922-926 If X is a suffrage age minimum of Y, then Y is an instance of organization or Y is an instance of geopolitical area
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 994-998 If X is a suffrage age maximum of Y, then Y is an instance of organization or Y is an instance of geopolitical area
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))		 Government.kif 1260-1264 If X is an executive branch of Y, then Y is an instance of geopolitical area or Y is an instance of organization
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1663-1669 If X is an instance of agent and the election of X is a subclass of election, then X is an instance of organization or X is an instance of geopolitical area
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1978-1982 If X is a legislative branch of Y, then X is an instance of organization or X is an instance of geopolitical area
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))		 Government.kif 2073-2077 If X is a judicial branch of Y, then Y is an instance of geopolitical area or Y is an instance of organization


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-18d41916 (2026-05-02) is open source software produced by Articulate Software and its partners