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
(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 16465-16474
(subclass Organization AutonomousAgent) Merge.kif 16463-16463
(subclass Organization Group) Merge.kif 16457-16457

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


(instance AmericanInstituteInTaiwan Organization) Government.kif 4725-4725
(instance NASDAQ Organization) FinancialOntology.kif 1754-1754
(range AgreementOrganizationFn Organization) Geography.kif 2990-2990
(range DepartmentOfFn Organization) Mid-level-ontology.kif 18137-18137
(range DepartmentOfPreventingFn Organization) Mid-level-ontology.kif 18178-18178
(range ExecutiveBranchFn Organization) Government.kif 1322-1322
(subclass Business Organization) Merge.kif 16033-16033
(subclass CareOrganization Organization) Mid-level-ontology.kif 7583-7583
(subclass Club Organization) Mid-level-ontology.kif 909-909
(subclass Commission Organization) Mid-level-ontology.kif 8396-8396
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 7537-7537
(subclass CopyrightAuthority Organization) Media.kif 1707-1707
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2817-2817
(subclass CustomerSupport Organization) UXExperimentalTerms.kif 2987-2987
(subclass EducationalOrganization Organization) Merge.kif 16584-16584
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17
(subclass GovernmentOrganization Organization) Merge.kif 16531-16531
(subclass HotelFrontDesk Organization) Hotel.kif 1741-1741
(subclass InternationalOrganization Organization) Government.kif 2510-2510
(subclass JudicialOrganization Organization) Merge.kif 16577-16577
(subclass LegislativeOrganization Organization) Government.kif 1924-1924
(subclass MarchingBand Organization) Music.kif 964-964
(subclass MediaOrganization Organization) Mid-level-ontology.kif 7553-7553
(subclass MetallurgicalPlant Organization) Geography.kif 2759-2759
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 7566-7566

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 18135-18135
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 18175-18175
(domain MemberFn 1 Organization) Government.kif 1761-1761
(domain MemberRoleFn 1 Organization) Government.kif 1782-1782
(domain accommodationProvider 2 Organization) Hotel.kif 2766-2766
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 24084-24084
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 24085-24085
(domain aimOfOrganization 1 Organization) Government.kif 2585-2585
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 24112-24112
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 24113-24113
(domain businessUnit 1 Organization) UXExperimentalTerms.kif 2753-2753
(domain chamberOfLegislature 1 Organization) Government.kif 2058-2058
(domain chamberOfLegislature 2 Organization) Government.kif 2059-2059
(domain checkInTime 1 Organization) Hotel.kif 664-664
(domain colleague 3 Organization) Mid-level-ontology.kif 16675-16675
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3641-3641
(domain electionForOrganization 2 Organization) Government.kif 1820-1820
(domain executiveBranch 1 Organization) Government.kif 1281-1281
(domain grossMerchandiseBoughtInPeriod 2 Organization) ComputerInput.kif 2966-2966
(domain grossMerchandiseSoldInPeriod 2 Organization) ComputerInput.kif 2995-2995
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7532-7532
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 24090-24090
(domain insured 2 Organization) Mid-level-ontology.kif 7097-7097
(domain judicialBranch 1 Organization) Government.kif 2094-2094
(domain legislativeBranch 1 Organization) Government.kif 2000-2000

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 20515-20524
(=>
    (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 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 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 2996-3000
(=>
    (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 10695-10703
(=>
    (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 24966-24987
(=>
    (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 10679-10687
(=>
    (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 10565-10573
(=>
    (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 10586-10598
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))
Merge.kif 10575-10584
(=>
    (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 10495-10504
(=>
    (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 7027-7036
(=>
    (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 13200-13211
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))
Mid-level-ontology.kif 22108-22115
(=>
    (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 20505-20513
(=>
    (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 3715-3719
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))
Economy.kif 3743-3747
(=>
    (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 22914-22923
(=>
    (instance ?BU BuildingUnit)
    (exists (?O ?B)
        (and
            (instance ?B Building)
            (instance ?O Organization)
            (part ?BU ?B)
            (workLocation ?O ?BU))))
Mid-level-ontology.kif 20333-20340
(=>
    (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 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 15904-15911
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners