Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Organization

Sigma KEE - Organization
Organization

appearance as argument number 1
-------------------------


(disjoint Organization Human) Media.kif 35-35 disjoint Organization and 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 16330-16339
(subclass Organization Agent) Merge.kif 16328-16328 subclass Organization and Agent
(subclass Organization Group) Merge.kif 16322-16322 subclass Organization and Group

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


(instance AmericanInstituteInTaiwan Organization) Government.kif 4705-4705 instance AmericanInstituteInTaiwan and Organization
(range AgreementOrganizationFn Organization) Geography.kif 2979-2979 range AgreementOrganizationFn and Organization
(range DepartmentOfFn Organization) Mid-level-ontology.kif 17711-17711 range DepartmentOfFn and Organization
(range ExecutiveBranchFn Organization) Government.kif 1307-1307 range ExecutiveBranchFn and Organization
(subclass Business Organization) Merge.kif 15898-15898 subclass Business and Organization
(subclass CareOrganization Organization) Mid-level-ontology.kif 7300-7300 subclass CareOrganization and Organization
(subclass Club Organization) Mid-level-ontology.kif 903-903 subclass Club and Organization
(subclass Commission Organization) Mid-level-ontology.kif 8040-8040 subclass Commission and Organization
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 7254-7254 subclass CommunicationOrganization and Organization
(subclass CopyrightAuthority Organization) Media.kif 1693-1693 subclass CopyrightAuthority and Organization
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2821-2821 subclass CrossFunctionalTeam and Organization
(subclass CustomerSupport Organization) UXExperimentalTerms.kif 2991-2991 subclass CustomerSupport and Organization
(subclass EducationalOrganization Organization) Merge.kif 16449-16449 subclass EducationalOrganization and Organization
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17 subclass FinancialOrganization and Organization
(subclass GovernmentOrganization Organization) Merge.kif 16396-16396 subclass GovernmentOrganization and Organization
(subclass HotelFrontDesk Organization) Hotel.kif 1716-1716 subclass HotelFrontDesk and Organization
(subclass InternationalOrganization Organization) Government.kif 2495-2495 subclass InternationalOrganization and Organization
(subclass JudicialOrganization Organization) Merge.kif 16442-16442 subclass JudicialOrganization and Organization
(subclass LegislativeOrganization Organization) Government.kif 1909-1909 subclass LegislativeOrganization and Organization
(subclass MarchingBand Organization) Music.kif 961-961 subclass MarchingBand and Organization
(subclass MediaOrganization Organization) Mid-level-ontology.kif 7270-7270 subclass MediaOrganization and Organization
(subclass MetallurgicalPlant Organization) Geography.kif 2757-2757 subclass MetallurgicalPlant and Organization
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 7283-7283 subclass NonprofitOrganization and Organization
(subclass OrganizationalBoard Organization) Mid-level-ontology.kif 8111-8111 subclass OrganizationalBoard and Organization
(subclass PoliticalOrganization Organization) Merge.kif 16363-16363 subclass PoliticalOrganization and 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 17709-17709 domain DepartmentOfFn, 1 and Organization
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 17748-17748 domain DepartmentOfPreventingFn, 1 and Organization
(domain MemberFn 1 Organization) Government.kif 1746-1746 domain MemberFn, 1 and Organization
(domain MemberRoleFn 1 Organization) Government.kif 1767-1767 domain MemberRoleFn, 1 and Organization
(domain accommodationProvider 2 Organization) Hotel.kif 2735-2735 domain accommodationProvider, 2 and Organization
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 23555-23555 domain affiliatedOrganization, 1 and Organization
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 23556-23556 domain affiliatedOrganization, 2 and Organization
(domain aimOfOrganization 1 Organization) Government.kif 2570-2570 domain aimOfOrganization, 1 and Organization
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 23583-23583 domain ancestorOrganization, 1 and Organization
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 23584-23584 domain ancestorOrganization, 2 and Organization
(domain businessUnit 1 Organization) UXExperimentalTerms.kif 2757-2757 domain businessUnit, 1 and Organization
(domain chamberOfLegislature 1 Organization) Government.kif 2043-2043 domain chamberOfLegislature, 1 and Organization
(domain chamberOfLegislature 2 Organization) Government.kif 2044-2044 domain chamberOfLegislature, 2 and Organization
(domain checkInTime 1 Organization) Hotel.kif 643-643 domain checkInTime, 1 and Organization
(domain colleague 3 Organization) Mid-level-ontology.kif 16253-16253 domain colleague, 3 and Organization
(domain electionForOrganization 2 Organization) Government.kif 1805-1805 domain electionForOrganization, 2 and Organization
(domain executiveBranch 1 Organization) Government.kif 1266-1266 domain executiveBranch, 1 and Organization
(domain grossMerchandiseBoughtInPeriod 2 Organization) ComputerInput.kif 2962-2962 domain grossMerchandiseBoughtInPeriod, 2 and Organization
(domain grossMerchandiseSoldInPeriod 2 Organization) ComputerInput.kif 2991-2991 domain grossMerchandiseSoldInPeriod, 2 and Organization
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7249-7249 domain headquartersOfOrganization, 1 and Organization
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 23561-23561 domain ideologicalAffiliationOfOrganization, 1 and Organization
(domain insured 2 Organization) Mid-level-ontology.kif 6798-6798 domain insured, 2 and Organization
(domain judicialBranch 1 Organization) Government.kif 2079-2079 domain judicialBranch, 1 and Organization
(domain legislativeBranch 1 Organization) Government.kif 1985-1985 domain legislativeBranch, 1 and Organization
(domain monetaryWage 1 Organization) Mid-level-ontology.kif 16383-16383 domain monetaryWage, 1 and 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 1759-1764
(=>
    (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 4638-4647
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))
Government.kif 4484-4489
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (employs ?AGENT1 ?PERSON))
Government.kif 4472-4476
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 4460-4464
(=>
    (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 20051-20060
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))
Government.kif 1286-1290
(=>
    (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 1644-1650
(=>
    (and
        (industryServiceType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationServiceType ?BUSINESS ?TYPE))
Economy.kif 1684-1690
(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 1321-1325
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2140-2144
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2035-2039
(=>
    (and
        (instance ?AGENT Agent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1752-1757
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1774-1780
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))
Government.kif 1782-1788
(=>
    (and
        (instance ?AGR InternationalAgreement)
        (instance
            (AgreementOrganizationFn ?AGR) Organization))
    (instance
        (AgreementOrganizationFn ?AGR) OrganizationOfNations))
Geography.kif 2985-2989
(=>
    (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 10628-10636
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))
Government.kif 1816-1820
(=>
    (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 24425-24446
(=>
    (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 10612-10620
(=>
    (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 10498-10506
(=>
    (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 10519-10531
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))
Merge.kif 10508-10517
(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?AGENT Agent)
        (agent ?JOIN ?AGENT)
        (patient ?JOIN ?ORG)
        (instance ?JOIN Organization))
    (member ?AGENT ?ORG))
Government.kif 2486-2493

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 10445-10454
(=>
    (and
        (instance ?AGENT Agent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1677-1683
(=>
    (and
        (instance ?ATTR IndustryAttribute)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ Organization))
Media.kif 1880-1884
(=>
    (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 6728-6737
(=>
    (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 13092-13103
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))
Mid-level-ontology.kif 21617-21624
(=>
    (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 20041-20049
(=>
    (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 3714-3718
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))
Economy.kif 3740-3744
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 1274-1278
(=>
    (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 22388-22397
(=>
    (instance ?BU BuildingUnit)
    (exists (?O ?B)
        (and
            (instance ?B Building)
            (instance ?O Organization)
            (part ?BU ?B)
            (workLocation ?O ?BU))))
Mid-level-ontology.kif 19870-19877
(=>
    (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 896-901
(=>
    (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 15483-15490
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 2087-2091
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1992-1996
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1008-1012
(=>
    (suffrageAgeMinimum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 936-940


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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