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

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


(instance AmericanInstituteInTaiwan Organization) Government.kif 4725-4725 台湾美国研究所 是 机构 的 instance
(instance NASDAQ Organization) FinancialOntology.kif 1754-1754 人纳斯达克 是 机构 的 instance
(range AgreementOrganizationFn Organization) Geography.kif 2983-2983 协议组织 的 range 是 机构 的实例
(range DepartmentOfFn Organization) Mid-level-ontology.kif 18165-18165 DepartmentOfFn 的 range 是 机构 的实例
(range DepartmentOfPreventingFn Organization) Mid-level-ontology.kif 18230-18230 DepartmentOfPreventingFn 的 range 是 机构 的实例
(range ExecutiveBranchFn Organization) Government.kif 1322-1322 行政部门 的 range 是 机构 的实例
(subclass Business Organization) Merge.kif 16064-16064 Business 是 机构 的 subclass
(subclass CareOrganization Organization) Mid-level-ontology.kif 7591-7591 护理组织 是 机构 的 subclass
(subclass Club Organization) Mid-level-ontology.kif 914-914 Club 是 机构 的 subclass
(subclass Commission Organization) Mid-level-ontology.kif 8404-8404 佣金 是 机构 的 subclass
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 7545-7545 沟通组织 是 机构 的 subclass
(subclass CopyrightAuthority Organization) Media.kif 1707-1707 CopyrightAuthority 是 机构 的 subclass
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2817-2817 CrossFunctionalTeam 是 机构 的 subclass
(subclass CustomerSupport Organization) UXExperimentalTerms.kif 2987-2987 CustomerSupport 是 机构 的 subclass
(subclass EducationalOrganization Organization) Merge.kif 16615-16615 教育机构 是 机构 的 subclass
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17 金融机构 是 机构 的 subclass
(subclass GovernmentOrganization Organization) Merge.kif 16562-16562 政府组织 是 机构 的 subclass
(subclass HotelFrontDesk Organization) Hotel.kif 1741-1741 HotelFrontDesk 是 机构 的 subclass
(subclass InternationalOrganization Organization) Government.kif 2510-2510 国际组织 是 机构 的 subclass
(subclass JudicialOrganization Organization) Merge.kif 16608-16608 司法组织 是 机构 的 subclass
(subclass LegislativeOrganization Organization) Government.kif 1924-1924 立法组织 是 机构 的 subclass
(subclass MarchingBand Organization) Music.kif 965-965 MarchingBand 是 机构 的 subclass
(subclass MediaOrganization Organization) Mid-level-ontology.kif 7561-7561 媒体组织 是 机构 的 subclass
(subclass MetallurgicalPlant Organization) Geography.kif 2752-2752 冶金厂 是 机构 的 subclass
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 7574-7574 非盈利机构 是 机构 的 subclass

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 18163-18163 DepartmentOfFn 的 1 数量 是 机构 的 instance
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 18227-18227 DepartmentOfPreventingFn 的 1 数量 是 机构 的 instance
(domain MemberFn 1 Organization) Government.kif 1761-1761 会员 的 1 数量 是 机构 的 instance
(domain MemberRoleFn 1 Organization) Government.kif 1782-1782 成员角色 的 1 数量 是 机构 的 instance
(domain accommodationProvider 2 Organization) Hotel.kif 2766-2766 accommodationProvider 的 2 数量 是 机构 的 instance
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 24216-24216 附属组织 的 1 数量 是 机构 的 instance
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 24217-24217 附属组织 的 2 数量 是 机构 的 instance
(domain aimOfOrganization 1 Organization) Government.kif 2585-2585 组织的目标 的 1 数量 是 机构 的 instance
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 24244-24244 祖先组织 的 1 数量 是 机构 的 instance
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 24245-24245 祖先组织 的 2 数量 是 机构 的 instance
(domain businessUnit 1 Organization) UXExperimentalTerms.kif 2753-2753 businessUnit 的 1 数量 是 机构 的 instance
(domain chamberOfLegislature 1 Organization) Government.kif 2058-2058 立法机关 的 1 数量 是 机构 的 instance
(domain chamberOfLegislature 2 Organization) Government.kif 2059-2059 立法机关 的 2 数量 是 机构 的 instance
(domain checkInTime 1 Organization) Hotel.kif 664-664 checkInTime 的 1 数量 是 机构 的 instance
(domain colleague 3 Organization) Mid-level-ontology.kif 16703-16703 colleague 的 3 数量 是 机构 的 instance
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3643-3643 客户代表 的 3 数量 是 机构 的 instance
(domain electionForOrganization 2 Organization) Government.kif 1820-1820 选举组织 的 2 数量 是 机构 的 instance
(domain executiveBranch 1 Organization) Government.kif 1281-1281 行政部门 的 1 数量 是 机构 的 instance
(domain grossMerchandiseBoughtInPeriod 2 Organization) ComputerInput.kif 2966-2966 grossMerchandiseBoughtInPeriod 的 2 数量 是 机构 的 instance
(domain grossMerchandiseSoldInPeriod 2 Organization) ComputerInput.kif 2995-2995 grossMerchandiseSoldInPeriod 的 2 数量 是 机构 的 instance
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7540-7540 组织总部 的 1 数量 是 机构 的 instance
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 24222-24222 组织的意识形态归属 的 1 数量 是 机构 的 instance
(domain insured 2 Organization) Mid-level-ontology.kif 7105-7105 投保 的 2 数量 是 机构 的 instance
(domain judicialBranch 1 Organization) Government.kif 2094-2094 司法部门 的 1 数量 是 机构 的 instance
(domain legislativeBranch 1 Organization) Government.kif 2000-2000 立法部门 的 1 数量 是 机构 的 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 AutonomousAgent)
        (instance ?ORG Organization))
    (member ?AGENT ?ORG))		 Government.kif 1774-1779
(=>
    (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 4658-4667
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))		 Government.kif 4504-4509
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (employs ?AGENT1 ?PERSON))		 Government.kif 4492-4496
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (occupiesPosition ?PERSON ?POSITION ?ORG))		 Government.kif 4480-4484
(=>
    (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 20567-20576
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))		 Government.kif 1301-1305
(=>
    (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 1649-1655
(=>
    (and
        (industryServiceType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationServiceType ?BUSINESS ?TYPE))		 Economy.kif 1689-1695
(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 1336-1340
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2155-2159
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2050-2054
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1767-1772
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1789-1795
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))		 Government.kif 1797-1803
(=>
    (and
        (instance ?AGR InternationalAgreement)
        (instance
            (AgreementOrganizationFn ?AGR) Organization))
    (instance
        (AgreementOrganizationFn ?AGR) OrganizationOfNations))		 Geography.kif 2989-2993
(=>
    (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 10724-10732
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))		 Government.kif 1831-1835
(=>
    (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 25156-25177
(=>
    (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 10708-10716
(=>
    (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 10594-10602
(=>
    (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 10615-10627
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))		 Merge.kif 10604-10613
(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?AGENT AutonomousAgent)
        (agent ?JOIN ?AGENT)
        (patient ?JOIN ?ORG)
        (instance ?JOIN Organization))
    (member ?AGENT ?ORG))		 Government.kif 2501-2508

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 10524-10533
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1692-1698
(=>
    (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 7035-7044
(=>
    (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 13229-13240
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))		 Mid-level-ontology.kif 22240-22247
(=>
    (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 20557-20565
(=>
    (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 3720-3724
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))		 Economy.kif 3748-3752
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))		 Government.kif 1289-1293
(=>
    (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 23046-23055
(=>
    (instance ?BU BuildingUnit)
    (exists (?O ?B)
        (and
            (instance ?B Building)
            (instance ?O Organization)
            (part ?BU ?B)
            (workLocation ?O ?BU))))		 Mid-level-ontology.kif 20385-20392
(=>
    (instance ?CS CustomerSupport)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (businessUnit ?CS ?ORG))))		 UXExperimentalTerms.kif 2994-2999
(=>
    (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 3001-3011
(=>
    (instance ?FOUND Founding)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (result ?FOUND ?ORG))))		 Mid-level-ontology.kif 907-912
(=>
    (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 15928-15935
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))		 Government.kif 2102-2106
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 2007-2011
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1023-1027
(=>
    (suffrageAgeMinimum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 951-955


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