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 15412-15421
(subclass Organization Agent) Merge.kif 15410-15410 机构 是 施事体 的 subclass
(subclass Organization Group) Merge.kif 15404-15404 机构 是 群组 的 subclass

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


(instance AmericanInstituteInTaiwan Organization) Government.kif 4656-4656 台湾美国研究所 是 机构 的 instance
(instance NASDAQ Organization) FinancialOntology.kif 1675-1675 人纳斯达克 是 机构 的 instance
(range AgreementOrganizationFn Organization) Geography.kif 2916-2916 协议组织 的 range 是 机构 的实例
(range DepartmentOfFn Organization) Mid-level-ontology.kif 16026-16026 DepartmentOfFn 的 range 是 机构 的实例
(range ExecutiveBranchFn Organization) Government.kif 1276-1276 行政部门 的 range 是 机构 的实例
(subclass Business Organization) Merge.kif 14983-14983 Business 是 机构 的 subclass
(subclass CareOrganization Organization) Mid-level-ontology.kif 7332-7332 护理组织 是 机构 的 subclass
(subclass Club Organization) Mid-level-ontology.kif 1326-1326 Club 是 机构 的 subclass
(subclass Commission Organization) Mid-level-ontology.kif 8163-8163 佣金 是 机构 的 subclass
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 7288-7288 沟通组织 是 机构 的 subclass
(subclass CopyrightAuthority Organization) Media.kif 1697-1697 CopyrightAuthority 是 机构 的 subclass
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2816-2816 CrossFunctionalTeam 是 机构 的 subclass
(subclass CustomerSupport Organization) UXExperimentalTerms.kif 2986-2986 CustomerSupport 是 机构 的 subclass
(subclass EducationalOrganization Organization) Merge.kif 15525-15525 教育机构 是 机构 的 subclass
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17 金融机构 是 机构 的 subclass
(subclass GovernmentOrganization Organization) Merge.kif 15478-15478 政府组织 是 机构 的 subclass
(subclass HotelFrontDesk Organization) Hotel.kif 1689-1689 HotelFrontDesk 是 机构 的 subclass
(subclass InternationalOrganization Organization) Government.kif 2451-2451 国际组织 是 机构 的 subclass
(subclass JudicialOrganization Organization) Merge.kif 15518-15518 司法组织 是 机构 的 subclass
(subclass LegislativeOrganization Organization) Government.kif 1878-1878 立法组织 是 机构 的 subclass
(subclass MarchingBand Organization) Music.kif 960-960 MarchingBand 是 机构 的 subclass
(subclass MediaOrganization Organization) Mid-level-ontology.kif 7303-7303 媒体组织 是 机构 的 subclass
(subclass MetallurgicalPlant Organization) Geography.kif 2694-2694 冶金厂 是 机构 的 subclass
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 7315-7315 非盈利机构 是 机构 的 subclass
(subclass OrganizationalBoard Organization) Mid-level-ontology.kif 8234-8234 组织委员会 是 机构 的 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 16024-16024 DepartmentOfFn 的 1 数量 是 机构 的 instance
(domain MemberFn 1 Organization) Government.kif 1715-1715 会员 的 1 数量 是 机构 的 instance
(domain MemberRoleFn 1 Organization) Government.kif 1736-1736 成员角色 的 1 数量 是 机构 的 instance
(domain accommodationProvider 2 Organization) Hotel.kif 2708-2708 accommodationProvider 的 2 数量 是 机构 的 instance
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 21916-21916 附属组织 的 1 数量 是 机构 的 instance
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 21917-21917 附属组织 的 2 数量 是 机构 的 instance
(domain aimOfOrganization 1 Organization) Government.kif 2526-2526 组织的目标 的 1 数量 是 机构 的 instance
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 21944-21944 祖先组织 的 1 数量 是 机构 的 instance
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 21945-21945 祖先组织 的 2 数量 是 机构 的 instance
(domain businessUnit 1 Organization) UXExperimentalTerms.kif 2752-2752 businessUnit 的 1 数量 是 机构 的 instance
(domain chamberOfLegislature 1 Organization) Government.kif 2012-2012 立法机关 的 1 数量 是 机构 的 instance
(domain chamberOfLegislature 2 Organization) Government.kif 2013-2013 立法机关 的 2 数量 是 机构 的 instance
(domain checkInTime 1 Organization) Hotel.kif 637-637 checkInTime 的 1 数量 是 机构 的 instance
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3529-3529 客户代表 的 3 数量 是 机构 的 instance
(domain electionForOrganization 2 Organization) Government.kif 1774-1774 选举组织 的 2 数量 是 机构 的 instance
(domain executiveBranch 1 Organization) Government.kif 1235-1235 行政部门 的 1 数量 是 机构 的 instance
(domain grossMerchandiseBoughtInPeriod 2 Organization) ComputerInput.kif 2929-2929 grossMerchandiseBoughtInPeriod 的 2 数量 是 机构 的 instance
(domain grossMerchandiseSoldInPeriod 2 Organization) ComputerInput.kif 2958-2958 grossMerchandiseSoldInPeriod 的 2 数量 是 机构 的 instance
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7283-7283 组织总部 的 1 数量 是 机构 的 instance
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 21922-21922 组织的意识形态归属 的 1 数量 是 机构 的 instance
(domain insured 2 Organization) Mid-level-ontology.kif 6818-6818 投保 的 2 数量 是 机构 的 instance
(domain judicialBranch 1 Organization) Government.kif 2048-2048 司法部门 的 1 数量 是 机构 的 instance
(domain legislativeBranch 1 Organization) Government.kif 1954-1954 立法部门 的 1 数量 是 机构 的 instance
(domain listedOn 2 Organization) FinancialOntology.kif 1663-1663 上市在 的 2 数量 是 机构 的 instance
(domain monetaryWage 1 Organization) Mid-level-ontology.kif 14520-14520 货币工资 的 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 Agent)
        (instance ?ORG Organization))
    (member ?AGENT ?ORG))		 Government.kif 1728-1733
(=>
    (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 4589-4598
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))		 Government.kif 4435-4440
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (employs ?AGENT1 ?PERSON))		 Government.kif 4423-4427
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (occupiesPosition ?PERSON ?POSITION ?ORG))		 Government.kif 4411-4415
(=>
    (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 18392-18401
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))		 Government.kif 1255-1259
(=>
    (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 1290-1294
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2109-2113
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2004-2008
(=>
    (and
        (instance ?AGENT Agent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1721-1726
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1743-1749
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))		 Government.kif 1751-1757
(=>
    (and
        (instance ?AGR InternationalAgreement)
        (instance
            (AgreementOrganizationFn ?AGR) Organization))
    (instance
        (AgreementOrganizationFn ?AGR) OrganizationOfNations))		 Geography.kif 2922-2926
(=>
    (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 9995-10003
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))		 Government.kif 1785-1789
(=>
    (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 9979-9987
(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?AGENT Agent)
        (agent ?JOIN ?AGENT)
        (patient ?JOIN ?ORG)
        (instance ?JOIN Organization))
    (member ?AGENT ?ORG))		 Government.kif 2442-2449
(=>
    (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 9926-9934
(=>
    (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 9942-9950
(=>
    (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 9888-9897
(=>
    (and
        (instance ?AGENT Agent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1646-1652
(=>
    (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 12361-12372
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))		 Mid-level-ontology.kif 19983-19990
(=>
    (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 18382-18390
(=>
    (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 1243-1247
(=>
    (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 20864-20871
(=>
    (instance ?CS CustomerSupport)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (businessUnit ?CS ?ORG))))		 UXExperimentalTerms.kif 2993-2998
(=>
    (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 3000-3010
(=>
    (instance ?FOUND Founding)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (result ?FOUND ?ORG))))		 Mid-level-ontology.kif 1319-1324
(=>
    (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 2056-2060
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1961-1965
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1001-1005
(=>
    (suffrageAgeMinimum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 937-941


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