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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organization
Organization

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


(disjoint Organization Human) Media.kif 35-35 不相交的 Organization and Human
(documentation Organization ChineseLanguage "一个 Organization 是一家公司或者是类似的机构。 Organizationmember 通常有着共同的一向和功能。注:这个类别也包括组织的分支和部门等等。例如: 壳牌石油公司和壳牌的会计部都是 Organization 的实例。也有注意:一家 Organization 的成立需要起码存在 一位 member(因为 OrganizationCollection 的子类别)因此,对于纯粹法律上的组织,我们应该假设 以一个虚拟的 member。") chinese_format.kif 3720-3724 不相交的 Organization and Human
(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 16708-16717 不相交的 Organization and Human
(subclass Organization AutonomousAgent) Merge.kif 16706-16706 子類 Organization and AutonomousAgent
(subclass Organization Group) Merge.kif 16700-16700 子類 Organization and Group

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


(instance AmericanInstituteInTaiwan Organization) Government.kif 4687-4687 台灣美國研究所 and Organization
(instance BlueCrossBlueShield Organization) Medicine.kif 5579-5579 BlueCrossBlueShield and Organization
(instance NASDAQ Organization) FinancialOntology.kif 1754-1754 人納斯達克 and Organization
(range AgreementOrganizationFn Organization) Geography.kif 3045-3045 範圍 協議組織 and Organization
(range DepartmentOfFn Organization) Mid-level-ontology.kif 19414-19414 範圍 DepartmentOfFn and Organization
(range DepartmentOfPreventingFn Organization) Mid-level-ontology.kif 19486-19486 範圍 DepartmentOfPreventingFn and Organization
(range ExecutiveBranchFn Organization) Government.kif 1284-1284 範圍 行政部門 and Organization
(subclass Business Organization) Merge.kif 16276-16276 子類 Business and Organization
(subclass CareOrganization Organization) Mid-level-ontology.kif 8397-8397 子類 護理組織 and Organization
(subclass Club Organization) Mid-level-ontology.kif 935-935 子類 Club and Organization
(subclass Commission Organization) Mid-level-ontology.kif 9210-9210 子類 佣金 and Organization
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 8351-8351 子類 溝通組織 and Organization
(subclass CopyrightAuthority Organization) Media.kif 1707-1707 子類 CopyrightAuthority and Organization
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2611-2611 子類 CrossFunctionalTeam and Organization
(subclass CustomerSupport Organization) UXExperimentalTerms.kif 2781-2781 子類 CustomerSupport and Organization
(subclass EducationalOrganization Organization) Merge.kif 16827-16827 子類 EducationalOrganization and Organization
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17 子類 金融機構 and Organization
(subclass GovernmentOrganization Organization) Merge.kif 16774-16774 子類 政府組織 and Organization
(subclass HotelFrontDesk Organization) Hotel.kif 1741-1741 子類 HotelFrontDesk and Organization
(subclass InternationalOrganization Organization) Government.kif 2472-2472 子類 國際組織 and Organization
(subclass JudicialOrganization Organization) Merge.kif 16820-16820 子類 司法組織 and Organization
(subclass LegislativeOrganization Organization) Government.kif 1886-1886 子類 立法組織 and Organization
(subclass MarchingBand Organization) Music.kif 966-966 子類 MarchingBand and Organization
(subclass MediaOrganization Organization) Mid-level-ontology.kif 8367-8367 子類 媒體組織 and Organization
(subclass MetallurgicalPlant Organization) Geography.kif 2742-2742 子類 冶金廠 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 19412-19412 DepartmentOfFn, 1 and Organization
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 19483-19483 DepartmentOfPreventingFn, 1 and Organization
(domain MemberFn 1 Organization) Government.kif 1723-1723 會員, 1 and Organization
(domain MemberRoleFn 1 Organization) Government.kif 1744-1744 成員角色, 1 and Organization
(domain accommodationProvider 2 Organization) Hotel.kif 2766-2766 accommodationProvider, 2 and Organization
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 25259-25259 附屬組織, 1 and Organization
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 25260-25260 附屬組織, 2 and Organization
(domain aimOfOrganization 1 Organization) Government.kif 2547-2547 組織的目標, 1 and Organization
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 25287-25287 祖先組織, 1 and Organization
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 25288-25288 祖先組織, 2 and Organization
(domain businessUnit 1 Organization) UXExperimentalTerms.kif 2547-2547 businessUnit, 1 and Organization
(domain chamberOfLegislature 1 Organization) Government.kif 2020-2020 立法機關, 1 and Organization
(domain chamberOfLegislature 2 Organization) Government.kif 2021-2021 立法機關, 2 and Organization
(domain checkInTime 1 Organization) Hotel.kif 664-664 checkInTime, 1 and Organization
(domain colleague 3 Organization) Mid-level-ontology.kif 17761-17761 同事關係, 3 and Organization
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3644-3644 客戶代表, 3 and Organization
(domain electionForOrganization 2 Organization) Government.kif 1782-1782 選舉組織, 2 and Organization
(domain executiveBranch 1 Organization) Government.kif 1243-1243 行政部門, 1 and Organization
(domain grossMerchandiseBoughtInPeriod 2 Organization) ComputerInput.kif 2965-2965 grossMerchandiseBoughtInPeriod, 2 and Organization
(domain grossMerchandiseSoldInPeriod 2 Organization) ComputerInput.kif 2994-2994 grossMerchandiseSoldInPeriod, 2 and Organization
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 8346-8346 組織總部, 1 and Organization
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 25265-25265 組織的意識形態歸屬, 1 and Organization
(domain insured 2 Organization) Mid-level-ontology.kif 7911-7911 投保, 2 and Organization
(domain judicialBranch 1 Organization) Government.kif 2056-2056 司法部門, 1 and Organization
(domain legislativeBranch 1 Organization) Government.kif 1962-1962 立法部門, 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 AutonomousAgent)
        (instance ?ORG Organization))
    (member ?AGENT ?ORG))
Government.kif 1736-1741
(=>
    (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 4620-4629
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))
Government.kif 4466-4471
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (employs ?AGENT1 ?PERSON))
Government.kif 4454-4458
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 4442-4446
(=>
    (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 21823-21832
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))
Government.kif 1263-1267
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT Organization))
    (instance ?AGENT ReligiousOrganization))
Government.kif 345-350
(=>
    (and
        (industryProductType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationProductType ?BUSINESS ?TYPE))
Economy.kif 1633-1639
(=>
    (and
        (industryServiceType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationServiceType ?BUSINESS ?TYPE))
Economy.kif 1673-1679
(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 1298-1302
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2117-2121
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2012-2016
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1729-1734
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1751-1757
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))
Government.kif 1759-1765
(=>
    (and
        (instance ?AGR InternationalAgreement)
        (instance
            (AgreementOrganizationFn ?AGR) Organization))
    (instance
        (AgreementOrganizationFn ?AGR) OrganizationOfNations))
Geography.kif 3051-3055
(=>
    (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 10803-10811
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))
Government.kif 1793-1797
(=>
    (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 26212-26233
(=>
    (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 10787-10795
(=>
    (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 10673-10681
(=>
    (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 10694-10706
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))
Merge.kif 10683-10692
(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?AGENT AutonomousAgent)
        (agent ?JOIN ?AGENT)
        (patient ?JOIN ?ORG)
        (instance ?JOIN Organization))
    (member ?AGENT ?ORG))
Government.kif 2463-2470

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 10603-10612
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1654-1660
(=>
    (and
        (instance ?ATTR IndustryAttribute)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ Organization))
Media.kif 1882-1886
(=>
    (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 7841-7850
(=>
    (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 13413-13424
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))
Mid-level-ontology.kif 23274-23281
(=>
    (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 21813-21821
(=>
    (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 3914-3918
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))
Economy.kif 3942-3946
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 1251-1255
(=>
    (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 24079-24088
(=>
    (instance ?BU BuildingUnit)
    (exists (?O ?B)
        (and
            (instance ?B Building)
            (instance ?O Organization)
            (part ?BU ?B)
            (workLocation ?O ?BU))))
Mid-level-ontology.kif 21641-21648
(=>
    (instance ?CS CustomerSupport)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (businessUnit ?CS ?ORG))))
UXExperimentalTerms.kif 2788-2793
(=>
    (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
(=>
    (instance ?DC DrugCandidate)
    (exists (?O)
        (and
            (instance ?O Organization)
            (hasPurposeForAgent ?DC
                (instance ?DC Medicine) ?O))))
Medicine.kif 3077-3084
(=>
    (instance ?FOUND Founding)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (result ?FOUND ?ORG))))
Mid-level-ontology.kif 928-933
(=>
    (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 16986-16993
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 2064-2068
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1969-1973
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 985-989
(=>
    (suffrageAgeMinimum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 913-917


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