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
-------------------------


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

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


(subclass 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
(subclass LegislativeOrganization Organization) Government.kif 1886-1886 Legislative organization is a subclass of organization
(subclass InternationalOrganization Organization) Government.kif 2491-2491 International organization is a subclass of organization
(instance AmericanInstituteInTaiwan Organization) Government.kif 4706-4706 American institute in taiwan is an instance of organization
(subclass HotelFrontDesk Organization) Hotel.kif 1752-1752 Front desk is a subclass of organization
(subclass CopyrightAuthority Organization) Media.kif 1709-1709 Copyright authority is a subclass of organization
(instance BlueCrossBlueShield Organization) Medicine.kif 5575-5575 Blue Cross Blue Shield is an instance of organization
(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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(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
(domain organizationProductType 1 Organization) Economy.kif 1740-1740 The number 1 argument of organization product type is an instance of organization
(domain organizationServiceType 1 Organization) Economy.kif 1780-1780 The number 1 argument of organization service type is an instance of organization
(domain listedOn 2 Organization) FinancialOntology.kif 1744-1744 The number 2 argument of listed on is an instance of organization
(domain shareOf 2 Organization) FinancialOntology.kif 2136-2136 The number 2 argument of share of is an instance of organization
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3648-3648 The number 3 argument of customer representative is an instance of organization
(domain executiveBranch 1 Organization) Government.kif 1243-1243 The number 1 argument of executive branch is an instance of organization
(domain MemberFn 1 Organization) Government.kif 1723-1723 The number 1 argument of member is an instance of organization
(domain MemberRoleFn 1 Organization) Government.kif 1744-1744 The number 1 argument of member role is an instance of organization
(domain electionForOrganization 2 Organization) Government.kif 1782-1782 The number 2 argument of election for organization is an instance of organization
(domain seatsHeldInOrganization 1 Organization) Government.kif 1874-1874 The number 1 argument of seats held in organization is an instance of organization
(domain legislativeBranch 1 Organization) Government.kif 1962-1962 The number 1 argument of legislative branch is an instance of organization
(domain chamberOfLegislature 1 Organization) Government.kif 2020-2020 The number 1 argument of chamber of legislature is an instance of organization
(domain chamberOfLegislature 2 Organization) Government.kif 2021-2021 The number 2 argument of chamber of legislature is an instance of organization
(domain seatsInOrganizationCount 1 Organization) Government.kif 2029-2029 The number 1 argument of seats in organization count is an instance of organization
(domain judicialBranch 1 Organization) Government.kif 2056-2056 The number 1 argument of judicial branch is an instance of organization
(domain successorOrganization 1 Organization) Government.kif 2558-2558 The number 1 argument of successor organization is an instance of organization
(domain successorOrganization 2 Organization) Government.kif 2559-2559 The number 2 argument of successor organization is an instance of organization
(domain aimOfOrganization 1 Organization) Government.kif 2566-2566 The number 1 argument of aim of organization is an instance of organization
(domainSubclass diplomaticOrganizationType 2 Organization) Government.kif 4614-4614 The number 2 argument of diplomatic organization type is a subclass of organization
(domain checkInTime 1 Organization) Hotel.kif 668-668 The number 1 argument of check-in time is an instance of organization
(domain accommodationProvider 2 Organization) Hotel.kif 2777-2777 The number 2 argument of accommodations provider is an instance of organization
(domain organizationName 2 Organization) Media.kif 3458-3458 The number 2 argument of organization name is an instance of organization

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (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
(=>
    (instance
        (ExecutiveBranchFn ?AGENT) Organization)
    (executiveBranch
        (ExecutiveBranchFn ?AGENT) ?AGENT))		 Government.kif 1294-1296 If the executive branch of X is an instance of organization, then X is an executive branch of the executive branch of X
(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 1298-1302 If the executive branch of X is an instance of organization and X is an instance of geopolitical area, then the government of X is an executive branch of the executive branch of X
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1729-1734 If X is an instance of agent, Y is an instance of organization, and X is a member of Y, then the member of Y is an attribute of X
(=>
    (and
        (attribute ?AGENT
            (MemberFn ?ORG))
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization))
    (member ?AGENT ?ORG))		 Government.kif 1736-1741 If the member of X is an attribute of Y, Y is an instance of agent, and X is an instance of organization, then Y is a member of X
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1751-1757 If X is an instance of human, Y is an instance of organization, Z is an instance of position, and the member role of Y and Z is an attribute of X, then the member of Y is an attribute of X
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))		 Government.kif 1759-1765 If X is an instance of human, Y is an instance of organization, Z is an instance of position, and the member role of Y and Z is an attribute of X, then X is a member of Y
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?PERSON
            (MemberRoleFn ?ORG ?POSITION)))
    (occupiesPosition ?PERSON ?POSITION ?ORG))		 Government.kif 1768-1774 If X is an instance of human, Y is an instance of organization, Z is an instance of position, and the member role of Y and Z is an attribute of X, then X holds the position of Z in Y
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))		 Government.kif 1793-1797 If X is an instance of organization and the member of X is an election for position of Y, then X is an election for organization of Y
(=>
    (and
        (legislativeBranch ?ORG ?AGENT)
        (instance ?AGENT Organization))
    (subOrganization ?ORG ?AGENT))		 Government.kif 1985-1989 If X is a legislative branch of Y and X is an instance of organization, then Y is a part of the organization X
(=>
    (instance
        (LegislatureFn ?AGENT) Organization)
    (legislativeBranch
        (LegislatureFn ?AGENT) ?AGENT))		 Government.kif 2008-2010 If the legislature of X is an instance of organization, then X is a legislative branch of the legislature of X
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2012-2016 If the legislature of X is an instance of organization and X is an instance of geopolitical area, then the government of X is a legislative branch of the legislature of X
(=>
    (and
        (judicialBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))		 Government.kif 2080-2084 If X is a judicial branch of Y and X is an instance of organization, then Y is a part of the organization X
(=>
    (instance
        (JudiciaryFn ?AGENT) Organization)
    (judicialBranch
        (JudiciaryFn ?AGENT) ?AGENT))		 Government.kif 2112-2114 If the judiciary of X is an instance of organization, then X is a judicial branch of the judiciary of X
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2116-2120 If the judiciary of X is an instance of organization and X is an instance of geopolitical area, then the government of X is a judicial branch of the judiciary of X
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY Organization))
    (instance ?PARTY PoliticalParty))		 Government.kif 2285-2290 If X is a subclass of party platform, Y is the author of X, and Y is an instance of organization, then Y is an instance of political party
(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?AGENT AutonomousAgent)
        (agent ?JOIN ?AGENT)
        (patient ?JOIN ?ORG)
        (instance ?JOIN Organization))
    (member ?AGENT ?ORG))		 Government.kif 2482-2489 If X is an instance of joining an organization, Y is an instance of agent, Y is an agent of X, Z is a patient of X, and X is an instance of organization, then Y is a member of Z
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (occupiesPosition ?PERSON ?POSITION ?ORG))		 Government.kif 4461-4465 If X is diplomatic representative in role Y for Z with W and X is an instance of organization, then Y holds the position of Z in V
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (employs ?AGENT1 ?PERSON))		 Government.kif 4473-4477 If X is diplomatic representative in role Y for Z with W and X is an instance of organization, then X employs Y

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


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