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
(disjoint Organization Human) Media.kif 35-35 Organization is disjoint from human

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 20256-20256 The range of department is an instance of organization
(range DepartmentOfPreventingFn Organization) Mid-level-ontology.kif 20328-20328 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 1757-1757 NASDAQ is an instance of organization
(subclass StockMarket Organization) FinancialOntology.kif 1771-1771 Stock market is a subclass of organization
(subclass MetallurgicalPlant Organization) Geography.kif 4209-4209 Metallurgical plant is a subclass of organization
(range AgreementOrganizationFn Organization) Geography.kif 4512-4512 The range of agreement organization is an instance of organization
(range ExecutiveBranchFn Organization) Government.kif 1284-1284 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 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 18397-18397 The number 3 argument of colleague is an instance of organization
(domain monetaryWage 1 Organization) Mid-level-ontology.kif 18531-18531 The number 1 argument of monetary wage is an instance of organization
(domain DepartmentOfFn 1 Organization) Mid-level-ontology.kif 20254-20254 The number 1 argument of department is an instance of organization
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 20325-20325 The number 1 argument of Department of preventing fn is an instance of organization
(domain workLocation 1 Organization) Mid-level-ontology.kif 22837-22837 The number 1 argument of work location is an instance of organization
(domain subordinateInOrganization 1 Organization) Mid-level-ontology.kif 25105-25105 The number 1 argument of subordinate in organization is an instance of organization
(domain subordinatePosition 1 Organization) Mid-level-ontology.kif 25122-25122 The number 1 argument of subordinate position is an instance of organization
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 26523-26523 The number 1 argument of affiliated organization is an instance of organization
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 26524-26524 The number 2 argument of affiliated organization is an instance of organization
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 26529-26529 The number 1 argument of ideological affiliation of organization is an instance of organization
(domain religiousAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 26536-26536 The number 1 argument of religious affiliation of organization is an instance of organization
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 26551-26551 The number 1 argument of ancestor organization is an instance of organization
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 26552-26552 The number 2 argument of ancestor organization is an instance of organization
(domain policyOwner 1 Organization) Mid-level-ontology.kif 29862-29862 The number 1 argument of policy owner is an instance of organization
(domain grossMerchandiseBoughtInPeriod 2 Organization) ComputerInput.kif 2968-2968 The number 2 argument of GMB is an instance of organization
(domain grossMerchandiseSoldInPeriod 2 Organization) ComputerInput.kif 2997-2997 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 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 17857-17862 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 17894-17899 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 18483-18490 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 23042-23051 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 27492-27513 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 4518-4522 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 1263-1267 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 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 17596-17603 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 22860-22867 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 23032-23040 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 24551-24558 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 25343-25352 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 441-449 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 913-917 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 985-989 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 1251-1255 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 1654-1660 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 1969-1973 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 2064-2068 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 1884-1888 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 3077-3084 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 2788-2793 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 2795-2805 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 is open source software produced by Articulate Software and its partners