Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
(documentation Organization ChineseLanguage "一个 Organization 是一家公司或者是类似的机构。 Organizationmember 通常有着共同的一向和功能。注:这个类别也包括组织的分支和部门等等。例如: 壳牌石油公司和壳牌的会计部都是 Organization 的实例。也有注意:一家 Organization 的成立需要起码存在 一位 member(因为 OrganizationCollection 的子类别)因此,对于纯粹法律上的组织,我们应该假设 以一个虚拟的 member。") chinese_format.kif 3720-3724
(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 15836-15845
(subclass Organization Agent) Merge.kif 15834-15834 Organization is a subclass of agent
(subclass Organization Group) Merge.kif 15828-15828 Organization is a subclass of group

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


(instance AmericanInstituteInTaiwan Organization) Government.kif 4696-4696 American institute in taiwan is an instance of organization
(instance NASDAQ Organization) FinancialOntology.kif 1688-1688 NASDAQ is an instance of organization
(range AgreementOrganizationFn Organization) Geography.kif 2938-2938 The range of agreement organization is an instance of organization
(range DepartmentOfFn Organization) Mid-level-ontology.kif 16943-16943 The range of department is an instance of organization
(range ExecutiveBranchFn Organization) Government.kif 1308-1308 The range of executive branch is an instance of organization
(subclass Business Organization) Merge.kif 15404-15404 Business is a subclass of organization
(subclass CareOrganization Organization) Mid-level-ontology.kif 7175-7175 Care organization is a subclass of organization
(subclass Club Organization) Mid-level-ontology.kif 885-885 Club is a subclass of organization
(subclass Commission Organization) Mid-level-ontology.kif 7915-7915 Commission is a subclass of organization
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 7129-7129 Communication organization is a subclass of organization
(subclass CopyrightAuthority Organization) Media.kif 1697-1697 CopyrightAuthority is a subclass of organization
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2821-2821 Cross-functional team is a subclass of organization
(subclass CustomerSupport Organization) UXExperimentalTerms.kif 2991-2991 Customer support is a subclass of organization
(subclass EducationalOrganization Organization) Merge.kif 15949-15949 Educational organization is a subclass of organization
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17 Financial organization is a subclass of organization
(subclass GovernmentOrganization Organization) Merge.kif 15902-15902 Government organization is a subclass of organization
(subclass HotelFrontDesk Organization) Hotel.kif 1703-1703 Front desk is a subclass of organization
(subclass InternationalOrganization Organization) Government.kif 2491-2491 International organization is a subclass of organization
(subclass JudicialOrganization Organization) Merge.kif 15942-15942 Judicial organization is a subclass of organization
(subclass LegislativeOrganization Organization) Government.kif 1910-1910 Legislative organization is a subclass of organization
(subclass MarchingBand Organization) Music.kif 960-960 Marching band is a subclass of organization
(subclass MediaOrganization Organization) Mid-level-ontology.kif 7145-7145 Media organization is a subclass of organization
(subclass MetallurgicalPlant Organization) Geography.kif 2716-2716 Metallurgical plant is a subclass of organization
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 7158-7158 Nonprofit organization is a subclass of organization
(subclass OrganizationalBoard Organization) Mid-level-ontology.kif 7986-7986 Organizational board 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 DepartmentOfFn 1 Organization) Mid-level-ontology.kif 16941-16941 The number 1 argument of department is an instance of organization
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 16980-16980 The number 1 argument of DepartmentOfPreventingFn is an instance of organization
(domain MemberFn 1 Organization) Government.kif 1747-1747 The number 1 argument of member is an instance of organization
(domain MemberRoleFn 1 Organization) Government.kif 1768-1768 The number 1 argument of member role is an instance of organization
(domain accommodationProvider 2 Organization) Hotel.kif 2722-2722 The number 2 argument of accommodations provider is an instance of organization
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 22773-22773 The number 1 argument of affiliated organization is an instance of organization
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 22774-22774 The number 2 argument of affiliated 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
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 22801-22801 The number 1 argument of ancestor organization is an instance of organization
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 22802-22802 The number 2 argument of ancestor organization is an instance of organization
(domain businessUnit 1 Organization) UXExperimentalTerms.kif 2757-2757 The number 1 argument of business unit is an instance of organization
(domain chamberOfLegislature 1 Organization) Government.kif 2044-2044 The number 1 argument of chamber of legislature is an instance of organization
(domain chamberOfLegislature 2 Organization) Government.kif 2045-2045 The number 2 argument of chamber of legislature is an instance of organization
(domain checkInTime 1 Organization) Hotel.kif 643-643 The number 1 argument of check-in time is an instance of organization
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3571-3571 The number 3 argument of customer representative is an instance of organization
(domain electionForOrganization 2 Organization) Government.kif 1806-1806 The number 2 argument of election for organization is an instance of organization
(domain executiveBranch 1 Organization) Government.kif 1267-1267 The number 1 argument of executive branch is an instance of organization
(domain grossMerchandiseBoughtInPeriod 2 Organization) ComputerInput.kif 2948-2948 The number 2 argument of GMB is an instance of organization
(domain grossMerchandiseSoldInPeriod 2 Organization) ComputerInput.kif 2977-2977 The number 2 argument of GMV is an instance of organization
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7124-7124 The number 1 argument of headquarters of organization is an instance of organization
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 22779-22779 The number 1 argument of ideological affiliation of organization is an instance of organization
(domain insured 2 Organization) Mid-level-ontology.kif 6691-6691 The number 2 argument of insured is an instance of organization
(domain judicialBranch 1 Organization) Government.kif 2080-2080 The number 1 argument of judicial branch is an instance of organization
(domain legislativeBranch 1 Organization) Government.kif 1986-1986 The number 1 argument of legislative branch is an instance of organization
(domain listedOn 2 Organization) FinancialOntology.kif 1676-1676 The number 2 argument of listed on is an instance of organization

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (attribute ?AGENT
            (MemberFn ?ORG))
        (instance ?AGENT Agent)
        (instance ?ORG Organization))
    (member ?AGENT ?ORG))
Government.kif 1760-1765
(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (exists (?ORG)
        (and
            (instance ?ORG ?TYPE)
            (located ?ORG ?AGENT2)
            (subOrganization ?ORG ?AGENT1))))
Government.kif 4629-4638
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))
Government.kif 4475-4480
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (employs ?AGENT1 ?PERSON))
Government.kif 4463-4467
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 4451-4455
(=>
    (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 19282-19291
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))
Government.kif 1287-1291
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT Organization))
    (instance ?AGENT ReligiousOrganization))
Government.kif 333-338
(=>
    (and
        (industryProductType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationProductType ?BUSINESS ?TYPE))
Economy.kif 1637-1643
(=>
    (and
        (industryServiceType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationServiceType ?BUSINESS ?TYPE))
Economy.kif 1677-1683
(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 1322-1326
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2141-2145
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2036-2040
(=>
    (and
        (instance ?AGENT Agent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1753-1758
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1775-1781
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))
Government.kif 1783-1789
(=>
    (and
        (instance ?AGR InternationalAgreement)
        (instance
            (AgreementOrganizationFn ?AGR) Organization))
    (instance
        (AgreementOrganizationFn ?AGR) OrganizationOfNations))
Geography.kif 2944-2948
(=>
    (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 10281-10289
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))
Government.kif 1817-1821
(=>
    (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 23644-23665
(=>
    (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 10265-10273
(=>
    (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 10151-10159
(=>
    (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 10172-10184
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))
Merge.kif 10161-10170
(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?AGENT Agent)
        (agent ?JOIN ?AGENT)
        (patient ?JOIN ?ORG)
        (instance ?JOIN Organization))
    (member ?AGENT ?ORG))
Government.kif 2482-2489

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 10098-10107
(=>
    (and
        (instance ?AGENT Agent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1678-1684
(=>
    (and
        (instance ?ATTR IndustryAttribute)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ Organization))
Media.kif 1884-1888
(=>
    (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 6621-6630
(=>
    (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 12682-12693
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))
Mid-level-ontology.kif 20834-20841
(=>
    (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 19272-19280
(=>
    (economyType ?AGENT ?ATTRIBUTE)
    (or
        (instance ?AGENT GeopoliticalArea)
        (instance ?AGENT Organization)))
Economy.kif 91-95
(=>
    (equal ?FY
        (FiscalYearFn ?PLACE))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))
Economy.kif 3707-3711
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))
Economy.kif 3733-3737
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 1275-1279
(=>
    (governmentType ?AGENT ?TYPE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 136-140
(=>
    (holdsDuring ?T1
        (coworker ?H1 ?H2))
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (holdsDuring ?T1
                (and
                    (employs ?ORG ?H1)
                    (employs ?ORG ?H2))))))
Mid-level-ontology.kif 21605-21614
(=>
    (instance ?BU BuildingUnit)
    (exists (?O ?B)
        (and
            (instance ?B Building)
            (instance ?O Organization)
            (part ?BU ?B)
            (workLocation ?O ?BU))))
Mid-level-ontology.kif 19101-19108
(=>
    (instance ?CS CustomerSupport)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (businessUnit ?CS ?ORG))))
UXExperimentalTerms.kif 2998-3003
(=>
    (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 3005-3015
(=>
    (instance ?FOUND Founding)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (result ?FOUND ?ORG))))
Mid-level-ontology.kif 878-883
(=>
    (instance ?N BroadcastNetwork)
    (exists (?O)
        (and
            (instance ?O Organization)
            (forall (?M)
                (=>
                    (member ?M ?N)
                    (possesses ?O ?M))))))
Communications.kif 369-377
(=>
    (instance ?RESOLUTION Resolution)
    (exists (?AGENT ?MEETING)
        (and
            (instance ?AGENT Organization)
            (agent ?RESOLUTION ?AGENT)
            (subProcess ?RESOLUTION ?MEETING)
            (instance ?MEETING FormalMeeting))))
Mid-level-ontology.kif 14754-14761
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 2088-2092
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1993-1997
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1009-1013
(=>
    (suffrageAgeMinimum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 937-941


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