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 机构 和 % 2 是 disjoint
(documentation Organization ChineseLanguage "一个 Organization 是一家公司或者是类似的机构。 Organizationmember 通常有着共同的一向和功能。注:这个类别也包括组织的分支和部门等等。例如: 壳牌石油公司和壳牌的会计部都是 Organization 的实例。也有注意:一家 Organization 的成立需要起码存在 一位 member(因为 OrganizationCollection 的子类别)因此,对于纯粹法律上的组织,我们应该假设 以一个虚拟的 member。") Merge.kif 16874-16878
(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 16864-16873
(subclass Organization Agent) Merge.kif 16862-16862 机构施事体subclass
(subclass Organization Group) Merge.kif 16856-16856 机构群组subclass

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


(instance AmericanInstituteInTaiwan Organization) Government.kif 4661-4661 AmericanInstituteInTaiwan机构instance
(instance NASDAQ Organization) FinancialOntology.kif 1677-1677 NASDAQ机构instance
(range AgreementOrganizationFn Organization) Geography.kif 2903-2903 AgreementOrganizationFnrange机构 的实例
(range ExecutiveBranchFn Organization) Government.kif 1282-1282 ExecutiveBranchFnrange机构 的实例
(subclass Business Organization) Merge.kif 16376-16376 Business机构subclass
(subclass CareOrganization Organization) Mid-level-ontology.kif 7330-7330 CareOrganization机构subclass
(subclass Club Organization) Mid-level-ontology.kif 1331-1331 Club机构subclass
(subclass Commission Organization) Mid-level-ontology.kif 8160-8160 Commission机构subclass
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 7286-7286 CommunicationOrganization机构subclass
(subclass CopyrightAuthority Organization) Media.kif 1697-1697 CopyrightAuthority机构subclass
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2818-2818 CrossFunctionalTeam机构subclass
(subclass CustomerSupport Organization) UXExperimentalTerms.kif 2988-2988 CustomerSupport机构subclass
(subclass EducationalOrganization Organization) Merge.kif 17004-17004 教育机构机构subclass
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17 FinancialOrganization机构subclass
(subclass GovernmentOrganization Organization) Merge.kif 16945-16945 GovernmentOrganization机构subclass
(subclass HotelFrontDesk Organization) Hotel.kif 1685-1685 HotelFrontDesk机构subclass
(subclass InternationalOrganization Organization) Government.kif 2457-2457 InternationalOrganization机构subclass
(subclass JudicialOrganization Organization) Merge.kif 16994-16994 JudicialOrganization机构subclass
(subclass LegislativeOrganization Organization) Government.kif 1884-1884 LegislativeOrganization机构subclass
(subclass MarchingBand Organization) Music.kif 966-966 MarchingBand机构subclass
(subclass MediaOrganization Organization) Mid-level-ontology.kif 7301-7301 MediaOrganization机构subclass
(subclass MetallurgicalPlant Organization) Geography.kif 2682-2682 MetallurgicalPlant机构subclass
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 7313-7313 NonprofitOrganization机构subclass
(subclass OrganizationalBoard Organization) Mid-level-ontology.kif 8231-8231 OrganizationalBoard机构subclass
(subclass PoliticalOrganization Organization) Merge.kif 16904-16904 政治机构机构subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain MemberFn 1 Organization) Government.kif 1721-1721 MemberFn 的 1 数量 是 机构instance
(domain MemberRoleFn 1 Organization) Government.kif 1742-1742 MemberRoleFn 的 1 数量 是 机构instance
(domain accommodationProvider 2 Organization) Hotel.kif 2702-2702 accommodationProvider 的 2 数量 是 机构instance
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 21903-21903 affiliatedOrganization 的 1 数量 是 机构instance
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 21904-21904 affiliatedOrganization 的 2 数量 是 机构instance
(domain aimOfOrganization 1 Organization) Government.kif 2532-2532 aimOfOrganization 的 1 数量 是 机构instance
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 21931-21931 ancestorOrganization 的 1 数量 是 机构instance
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 21932-21932 ancestorOrganization 的 2 数量 是 机构instance
(domain businessUnit 1 Organization) UXExperimentalTerms.kif 2754-2754 businessUnit 的 1 数量 是 机构instance
(domain chamberOfLegislature 1 Organization) Government.kif 2018-2018 chamberOfLegislature 的 1 数量 是 机构instance
(domain chamberOfLegislature 2 Organization) Government.kif 2019-2019 chamberOfLegislature 的 2 数量 是 机构instance
(domain checkInTime 1 Organization) Hotel.kif 633-633 checkInTime 的 1 数量 是 机构instance
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3522-3522 customerRepresentative 的 3 数量 是 机构instance
(domain electionForOrganization 2 Organization) Government.kif 1780-1780 electionForOrganization 的 2 数量 是 机构instance
(domain executiveBranch 1 Organization) Government.kif 1241-1241 executiveBranch 的 1 数量 是 机构instance
(domain grossMerchandiseBoughtInPeriod 2 Organization) ComputerInput.kif 2371-2371 grossMerchandiseBoughtInPeriod 的 2 数量 是 机构instance
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7281-7281 headquartersOfOrganization 的 1 数量 是 机构instance
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 21909-21909 ideologicalAffiliationOfOrganization 的 1 数量 是 机构instance
(domain insured 2 Organization) Mid-level-ontology.kif 6817-6817 insured 的 2 数量 是 机构instance
(domain judicialBranch 1 Organization) Government.kif 2054-2054 judicialBranch 的 1 数量 是 机构instance
(domain legislativeBranch 1 Organization) Government.kif 1960-1960 legislativeBranch 的 1 数量 是 机构instance
(domain listedOn 2 Organization) FinancialOntology.kif 1665-1665 listedOn 的 2 数量 是 机构instance
(domain monetaryWage 1 Organization) Mid-level-ontology.kif 14519-14519 monetaryWage 的 1 数量 是 机构instance
(domain occupiesPosition 3 Organization) Merge.kif 17622-17622 任职 的 3 数量 是 机构instance
(domain organizationName 2 Organization) Media.kif 3410-3410 organizationName 的 2 数量 是 机构instance

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 1734-1739
(=>
    (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 4595-4604
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))
Government.kif 4441-4446
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (employs ?AGENT1 ?PERSON))
Government.kif 4429-4433
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 4417-4421
(=>
    (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 18390-18399
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))
Government.kif 1261-1265
(=>
    (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 1296-1300
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2115-2119
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2010-2014
(=>
    (and
        (instance ?AGENT Agent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1727-1732
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1749-1755
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))
Government.kif 1757-1763
(=>
    (and
        (instance ?AGR InternationalAgreement)
        (instance
            (AgreementOrganizationFn ?AGR) Organization))
    (instance
        (AgreementOrganizationFn ?AGR) OrganizationOfNations))
Geography.kif 2909-2913
(=>
    (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 10697-10705
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))
Government.kif 1791-1795
(=>
    (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 10680-10688
(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?AGENT Agent)
        (agent ?JOIN ?AGENT)
        (patient ?JOIN ?ORG)
        (instance ?JOIN Organization))
    (member ?AGENT ?ORG))
Government.kif 2448-2455
(=>
    (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 10623-10631
(=>
    (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 10640-10648
(=>
    (and
        (instance ?OP BeginningOperations)
        (instance ?ORG Organization)
        (agent ?OP ?ORG))
    (starts ?OP
        (WhenFn ?ORG)))
Mid-level-ontology.kif 13940-13945
(=>
    (and
        (instance ?OP CeasingOperations)
        (instance ?ORG Organization)
        (agent ?OP ?ORG))
    (finishes ?OP
        (WhenFn ?ORG)))
Mid-level-ontology.kif 13977-13982

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 10582-10591
(=>
    (and
        (instance ?AGENT Agent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1652-1658
(=>
    (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 6726-6735
(=>
    (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 13329-13340
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))
Mid-level-ontology.kif 19970-19977
(=>
    (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 18380-18388
(=>
    (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 1249-1253
(=>
    (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 20851-20858
(=>
    (instance ?CS CustomerSupport)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (businessUnit ?CS ?ORG))))
UXExperimentalTerms.kif 2995-3000
(=>
    (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 3002-3012
(=>
    (instance ?FOUND Founding)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (result ?FOUND ?ORG))))
Mid-level-ontology.kif 1324-1329
(=>
    (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 13712-13719
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 2062-2066
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1967-1971
(=>
    (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 944-948


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners