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

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


(instance AmericanInstituteInTaiwan Organization) Government.kif 4717-4717 台湾美国研究所机构instance
(instance NASDAQ Organization) FinancialOntology.kif 1752-1752 人纳斯达克机构instance
(range AgreementOrganizationFn Organization) Geography.kif 2979-2979 协议组织range机构 的实例
(range DepartmentOfFn Organization) Mid-level-ontology.kif 17791-17791 DepartmentOfFnrange机构 的实例
(range DepartmentOfPreventingFn Organization) Mid-level-ontology.kif 17832-17832 DepartmentOfPreventingFnrange机构 的实例
(range ExecutiveBranchFn Organization) Government.kif 1319-1319 行政部门range机构 的实例
(subclass Business Organization) Merge.kif 15926-15926 Business机构subclass
(subclass CareOrganization Organization) Mid-level-ontology.kif 7339-7339 护理组织机构subclass
(subclass Club Organization) Mid-level-ontology.kif 909-909 Club机构subclass
(subclass Commission Organization) Mid-level-ontology.kif 8086-8086 佣金机构subclass
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 7293-7293 沟通组织机构subclass
(subclass CopyrightAuthority Organization) Media.kif 1693-1693 CopyrightAuthority机构subclass
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2821-2821 CrossFunctionalTeam机构subclass
(subclass CustomerSupport Organization) UXExperimentalTerms.kif 2991-2991 CustomerSupport机构subclass
(subclass EducationalOrganization Organization) Merge.kif 16477-16477 教育机构机构subclass
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17 金融机构机构subclass
(subclass GovernmentOrganization Organization) Merge.kif 16424-16424 政府组织机构subclass
(subclass HotelFrontDesk Organization) Hotel.kif 1741-1741 HotelFrontDesk机构subclass
(subclass InternationalOrganization Organization) Government.kif 2507-2507 国际组织机构subclass
(subclass JudicialOrganization Organization) Merge.kif 16470-16470 司法组织机构subclass
(subclass LegislativeOrganization Organization) Government.kif 1921-1921 立法组织机构subclass
(subclass MarchingBand Organization) Music.kif 964-964 MarchingBand机构subclass
(subclass MediaOrganization Organization) Mid-level-ontology.kif 7309-7309 媒体组织机构subclass
(subclass MetallurgicalPlant Organization) Geography.kif 2757-2757 冶金厂机构subclass
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 7322-7322 非盈利机构机构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 17789-17789 DepartmentOfFn 的 1 数量 是 机构instance
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 17829-17829 DepartmentOfPreventingFn 的 1 数量 是 机构instance
(domain MemberFn 1 Organization) Government.kif 1758-1758 会员 的 1 数量 是 机构instance
(domain MemberRoleFn 1 Organization) Government.kif 1779-1779 成员角色 的 1 数量 是 机构instance
(domain accommodationProvider 2 Organization) Hotel.kif 2766-2766 accommodationProvider 的 2 数量 是 机构instance
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 23664-23664 附属组织 的 1 数量 是 机构instance
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 23665-23665 附属组织 的 2 数量 是 机构instance
(domain aimOfOrganization 1 Organization) Government.kif 2582-2582 组织的目标 的 1 数量 是 机构instance
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 23692-23692 祖先组织 的 1 数量 是 机构instance
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 23693-23693 祖先组织 的 2 数量 是 机构instance
(domain businessUnit 1 Organization) UXExperimentalTerms.kif 2757-2757 businessUnit 的 1 数量 是 机构instance
(domain chamberOfLegislature 1 Organization) Government.kif 2055-2055 立法机关 的 1 数量 是 机构instance
(domain chamberOfLegislature 2 Organization) Government.kif 2056-2056 立法机关 的 2 数量 是 机构instance
(domain checkInTime 1 Organization) Hotel.kif 664-664 checkInTime 的 1 数量 是 机构instance
(domain colleague 3 Organization) Mid-level-ontology.kif 16328-16328 colleague 的 3 数量 是 机构instance
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3634-3634 客户代表 的 3 数量 是 机构instance
(domain electionForOrganization 2 Organization) Government.kif 1817-1817 选举组织 的 2 数量 是 机构instance
(domain executiveBranch 1 Organization) Government.kif 1278-1278 行政部门 的 1 数量 是 机构instance
(domain grossMerchandiseBoughtInPeriod 2 Organization) ComputerInput.kif 2962-2962 grossMerchandiseBoughtInPeriod 的 2 数量 是 机构instance
(domain grossMerchandiseSoldInPeriod 2 Organization) ComputerInput.kif 2991-2991 grossMerchandiseSoldInPeriod 的 2 数量 是 机构instance
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7288-7288 组织总部 的 1 数量 是 机构instance
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 23670-23670 组织的意识形态归属 的 1 数量 是 机构instance
(domain insured 2 Organization) Mid-level-ontology.kif 6836-6836 投保 的 2 数量 是 机构instance
(domain judicialBranch 1 Organization) Government.kif 2091-2091 司法部门 的 1 数量 是 机构instance
(domain legislativeBranch 1 Organization) Government.kif 1997-1997 立法部门 的 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 1771-1776
(=>
    (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 4650-4659
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))
Government.kif 4496-4501
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (employs ?AGENT1 ?PERSON))
Government.kif 4484-4488
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 4472-4476
(=>
    (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 20138-20147
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))
Government.kif 1298-1302
(=>
    (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 1644-1650
(=>
    (and
        (industryServiceType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationServiceType ?BUSINESS ?TYPE))
Economy.kif 1684-1690
(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 1333-1337
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2152-2156
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2047-2051
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1764-1769
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1786-1792
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))
Government.kif 1794-1800
(=>
    (and
        (instance ?AGR InternationalAgreement)
        (instance
            (AgreementOrganizationFn ?AGR) Organization))
    (instance
        (AgreementOrganizationFn ?AGR) OrganizationOfNations))
Geography.kif 2985-2989
(=>
    (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 10641-10649
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))
Government.kif 1828-1832
(=>
    (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 24542-24563
(=>
    (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 10625-10633
(=>
    (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 10511-10519
(=>
    (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 10532-10544
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))
Merge.kif 10521-10530
(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?AGENT AutonomousAgent)
        (agent ?JOIN ?AGENT)
        (patient ?JOIN ?ORG)
        (instance ?JOIN Organization))
    (member ?AGENT ?ORG))
Government.kif 2498-2505

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 10458-10467
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1689-1695
(=>
    (and
        (instance ?ATTR IndustryAttribute)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ Organization))
Media.kif 1868-1872
(=>
    (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 6766-6775
(=>
    (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 13111-13122
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))
Mid-level-ontology.kif 21726-21733
(=>
    (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 20128-20136
(=>
    (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 3714-3718
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))
Economy.kif 3740-3744
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 1286-1290
(=>
    (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 22497-22506
(=>
    (instance ?BU BuildingUnit)
    (exists (?O ?B)
        (and
            (instance ?B Building)
            (instance ?O Organization)
            (part ?BU ?B)
            (workLocation ?O ?BU))))
Mid-level-ontology.kif 19956-19963
(=>
    (instance ?CS CustomerSupport)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (businessUnit ?CS ?ORG))))
UXExperimentalTerms.kif 2998-3003
(=>
    (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 3005-3015
(=>
    (instance ?FOUND Founding)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (result ?FOUND ?ORG))))
Mid-level-ontology.kif 902-907
(=>
    (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 15558-15565
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 2099-2103
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 2004-2008
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1020-1024
(=>
    (suffrageAgeMinimum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 948-952


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