Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
(disjoint Organization Human) Media.kif 35-35 Organization is disjoint from human

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 7857-7857 Private organization is a subclass of organization
(subclass SportsLeague Organization) Mid-level-ontology.kif 8335-8335 Sports league is a subclass of organization
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 8899-8899 Communication organization is a subclass of organization
(subclass MediaOrganization Organization) Mid-level-ontology.kif 8915-8915 Media organization is a subclass of organization
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 8928-8928 Nonprofit organization is a subclass of organization
(subclass CareOrganization Organization) Mid-level-ontology.kif 8945-8945 Care organization is a subclass of organization
(subclass Commission Organization) Mid-level-ontology.kif 9797-9797 Commission is a subclass of organization
(subclass ServiceOrganization Organization) Mid-level-ontology.kif 9810-9810 Service organization is a subclass of organization
(subclass OrganizationalBoard Organization) Mid-level-ontology.kif 9868-9868 Organizational board is a subclass of organization
(subclass SecurityUnit Organization) Mid-level-ontology.kif 9881-9881 Security unit is a subclass of organization
(subclass UnionOrganization Organization) Mid-level-ontology.kif 9897-9897 Union organization is a subclass of organization
(range DepartmentOfFn Organization) Mid-level-ontology.kif 20230-20230 The range of department is an instance of organization
(range DepartmentOfPreventingFn Organization) Mid-level-ontology.kif 20302-20302 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 8454-8454 The number 2 argument of insured is an instance of organization
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 8894-8894 The number 1 argument of headquarters of organization is an instance of organization
(domain colleague 3 Organization) Mid-level-ontology.kif 18448-18448 The number 3 argument of colleague is an instance of organization
(domain monetaryWage 1 Organization) Mid-level-ontology.kif 18582-18582 The number 1 argument of monetary wage is an instance of organization
(domain DepartmentOfFn 1 Organization) Mid-level-ontology.kif 20228-20228 The number 1 argument of department is an instance of organization
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 20299-20299 The number 1 argument of Department of preventing fn is an instance of organization
(domain workLocation 1 Organization) Mid-level-ontology.kif 22771-22771 The number 1 argument of work location is an instance of organization
(domain subordinateInOrganization 1 Organization) Mid-level-ontology.kif 25005-25005 The number 1 argument of subordinate in organization is an instance of organization
(domain subordinatePosition 1 Organization) Mid-level-ontology.kif 25022-25022 The number 1 argument of subordinate position is an instance of organization
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 26423-26423 The number 1 argument of affiliated organization is an instance of organization
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 26424-26424 The number 2 argument of affiliated organization is an instance of organization
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 26429-26429 The number 1 argument of ideological affiliation of organization is an instance of organization
(domain religiousAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 26436-26436 The number 1 argument of religious affiliation of organization is an instance of organization
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 26451-26451 The number 1 argument of ancestor organization is an instance of organization
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 26452-26452 The number 2 argument of ancestor organization is an instance of organization
(domain policyOwner 1 Organization) Mid-level-ontology.kif 29793-29793 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

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 8384-8393 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 17927-17932 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 17964-17969 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 18534-18541 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 22976-22985 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 27413-27434 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 8384-8393 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 17666-17673 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 22794-22801 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 22966-22974 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 24451-24458 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 25283-25292 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
(=>
    (and
        (instance ?ATTR IndustryAttribute)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ Organization))		 Media.kif 1829-1833 If X is an instance of industry attribute and X is an attribute of Y, then Y is an instance of organization
(=>
    (instance ?DC DrugCandidate)
    (exists (?O)
        (and
            (instance ?O Organization)
            (hasPurposeForAgent ?DC ?O
                (instance ?DC Medicine)))))		 Medicine.kif 3095-3102 If X is an instance of drug candidate, then there exists Y such that Y is an instance of organization and X has the purpose Y for X is an instance of medicine
(=>
    (instance ?CS CustomerSupport)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (businessUnit ?CS ?ORG))))		 UXExperimentalTerms.kif 2789-2794 If X is an instance of customer support, then there exists Y such that Y is an instance of organization and X is a business unit of Y
(=>
    (instance ?CS CustomerSupport)
    (hasPurpose ?CS
        (exists (?MEMBER ?CUSTOMER ?ORG)
            (and
                (instance ?MEMBER CognitiveAgent)
                (instance ?CUSTOMER CognitiveAgent)
                (instance ?ORG Organization)
                (businessUnit ?CS ?ORG)
                (member ?MEMBER ?CS)
                (customerRepresentative ?MEMBER ?CUSTOMER ?ORG)))))		 UXExperimentalTerms.kif 2796-2806 If X is an instance of customer support, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of cognitive agent (3) Z is an instance of cognitive agent (4) W is an instance of organization (5) X is a business unit of W (6) Y is a member of X (7) Y customer representative Z for W
(=>
    (foundingdate ?ORG ?D)
    (exists (?F)
        (and
            (instance ?F Founding)
            (instance ?ORG Organization)
            (experiencer ?F ?ORG)
            (date ?F ?D))))		 Society.kif 214-221 If foundingdate X and Y, then there exists Z such that Z is an instance of founding, X is an instance of organization, X experiences Z, and date of Z is Y

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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