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 組織人[人間]disjoint では %n
(documentation Organization ChineseLanguage "一个 Organization 是一家公司或者是类似的机构。 Organizationmember 通常有着共同的一向和功能。注:这个类别也包括组织的分支和部门等等。例如: 壳牌石油公司和壳牌的会计部都是 Organization 的实例。也有注意:一家 Organization 的成立需要起码存在 一位 member(因为 OrganizationCollection 的子类别)因此,对于纯粹法律上的组织,我们应该假设 以一个虚拟的 member。") Merge.kif 21246-21250
(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 21236-21245
(subclass Organization Agent) Merge.kif 21234-21234 組織代理(人)subclass では %n
(subclass Organization Group) Merge.kif 21228-21228 組織グループsubclass では %n

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


(instance AmericanInstituteInTaiwan Organization) Government.kif 4661-4661 AmericanInstituteInTaiwan組織instance では %n
(instance NASDAQ Organization) FinancialOntology.kif 1677-1677 NASDAQ組織instance では %n
(range AgreementOrganizationFn Organization) Geography.kif 2903-2903 AgreementOrganizationFnrange組織 のインスタンス では %n
(range ExecutiveBranchFn Organization) Government.kif 1282-1282 ExecutiveBranchFnrange組織 のインスタンス では %n
(subclass Business Organization) Merge.kif 20748-20748 Business組織subclass では %n
(subclass CareOrganization Organization) Mid-level-ontology.kif 7331-7331 CareOrganization組織subclass では %n
(subclass Club Organization) Mid-level-ontology.kif 1331-1331 Club組織subclass では %n
(subclass Commission Organization) Mid-level-ontology.kif 8161-8161 Commission組織subclass では %n
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 7287-7287 CommunicationOrganization組織subclass では %n
(subclass CopyrightAuthority Organization) Media.kif 1697-1697 CopyrightAuthority組織subclass では %n
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2818-2818 CrossFunctionalTeam組織subclass では %n
(subclass CustomerSupport Organization) UXExperimentalTerms.kif 2988-2988 CustomerSupport組織subclass では %n
(subclass EducationalOrganization Organization) Merge.kif 21376-21376 教育組織組織subclass では %n
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17 FinancialOrganization組織subclass では %n
(subclass GovernmentOrganization Organization) Merge.kif 21317-21317 GovernmentOrganization組織subclass では %n
(subclass HotelFrontDesk Organization) Hotel.kif 1685-1685 HotelFrontDesk組織subclass では %n
(subclass InternationalOrganization Organization) Government.kif 2457-2457 InternationalOrganization組織subclass では %n
(subclass JudicialOrganization Organization) Merge.kif 21366-21366 JudicialOrganization組織subclass では %n
(subclass LegislativeOrganization Organization) Government.kif 1884-1884 LegislativeOrganization組織subclass では %n
(subclass MarchingBand Organization) Music.kif 966-966 MarchingBand組織subclass では %n
(subclass MediaOrganization Organization) Mid-level-ontology.kif 7302-7302 MediaOrganization組織subclass では %n
(subclass MetallurgicalPlant Organization) Geography.kif 2682-2682 MetallurgicalPlant組織subclass では %n
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 7314-7314 NonprofitOrganization組織subclass では %n
(subclass OrganizationalBoard Organization) Mid-level-ontology.kif 8232-8232 OrganizationalBoard組織subclass では %n
(subclass PoliticalOrganization Organization) Merge.kif 21276-21276 政治組織組織subclass では %n

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 では %n
(domain MemberRoleFn 1 Organization) Government.kif 1742-1742 MemberRoleFn の数値 1 引数は 組織instance では %n
(domain accommodationProvider 2 Organization) Hotel.kif 2702-2702 accommodationProvider の数値 2 引数は 組織instance では %n
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 21904-21904 affiliatedOrganization の数値 1 引数は 組織instance では %n
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 21905-21905 affiliatedOrganization の数値 2 引数は 組織instance では %n
(domain aimOfOrganization 1 Organization) Government.kif 2532-2532 aimOfOrganization の数値 1 引数は 組織instance では %n
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 21932-21932 ancestorOrganization の数値 1 引数は 組織instance では %n
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 21933-21933 ancestorOrganization の数値 2 引数は 組織instance では %n
(domain businessUnit 1 Organization) UXExperimentalTerms.kif 2754-2754 businessUnit の数値 1 引数は 組織instance では %n
(domain chamberOfLegislature 1 Organization) Government.kif 2018-2018 chamberOfLegislature の数値 1 引数は 組織instance では %n
(domain chamberOfLegislature 2 Organization) Government.kif 2019-2019 chamberOfLegislature の数値 2 引数は 組織instance では %n
(domain checkInTime 1 Organization) Hotel.kif 633-633 checkInTime の数値 1 引数は 組織instance では %n
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3522-3522 customerRepresentative の数値 3 引数は 組織instance では %n
(domain electionForOrganization 2 Organization) Government.kif 1780-1780 electionForOrganization の数値 2 引数は 組織instance では %n
(domain executiveBranch 1 Organization) Government.kif 1241-1241 executiveBranch の数値 1 引数は 組織instance では %n
(domain grossMerchandiseBoughtInPeriod 2 Organization) ComputerInput.kif 2371-2371 grossMerchandiseBoughtInPeriod の数値 2 引数は 組織instance では %n
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7282-7282 headquartersOfOrganization の数値 1 引数は 組織instance では %n
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 21910-21910 ideologicalAffiliationOfOrganization の数値 1 引数は 組織instance では %n
(domain insured 2 Organization) Mid-level-ontology.kif 6818-6818 insured の数値 2 引数は 組織instance では %n
(domain judicialBranch 1 Organization) Government.kif 2054-2054 judicialBranch の数値 1 引数は 組織instance では %n
(domain legislativeBranch 1 Organization) Government.kif 1960-1960 legislativeBranch の数値 1 引数は 組織instance では %n
(domain listedOn 2 Organization) FinancialOntology.kif 1665-1665 listedOn の数値 2 引数は 組織instance では %n
(domain monetaryWage 1 Organization) Mid-level-ontology.kif 14520-14520 monetaryWage の数値 1 引数は 組織instance では %n
(domain occupiesPosition 3 Organization) Merge.kif 21994-21994 occupiesPosition の数値 3 引数は 組織instance では %n
(domain organizationName 2 Organization) Media.kif 3410-3410 organizationName の数値 2 引数は 組織instance では %n

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 18391-18400
(=>
    (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 14679-14687
(=>
    (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 14657-14665
(=>
    (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 14580-14588
(=>
    (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 14602-14610
(=>
    (and
        (instance ?OP BeginningOperations)
        (instance ?ORG Organization)
        (agent ?OP ?ORG))
    (starts ?OP
        (WhenFn ?ORG)))
Mid-level-ontology.kif 13941-13946
(=>
    (and
        (instance ?OP CeasingOperations)
        (instance ?ORG Organization)
        (agent ?OP ?ORG))
    (finishes ?OP
        (WhenFn ?ORG)))
Mid-level-ontology.kif 13978-13983

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 14523-14532
(=>
    (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 6727-6736
(=>
    (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 17700-17711
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))
Mid-level-ontology.kif 19971-19978
(=>
    (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 18381-18389
(=>
    (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 20852-20859
(=>
    (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 13713-13720
(=>
    (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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners