Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organization
Organization(organisation)

appearance as argument number 1
-------------------------


(disjoint Organization Human) Media.kif 35-35 Organisation est disjoint de humain
(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 16582-16591
(subclass Organization AutonomousAgent) Merge.kif 16580-16580 Organisation est une sous-classe de AutonomousAgent
(subclass Organization Group) Merge.kif 16574-16574 Organisation est une sous-classe de groupe

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


(instance AmericanInstituteInTaiwan Organization) Government.kif 4725-4725 AmericanInstituteInTaiwan est une instance de organisation
(instance BlueCrossBlueShield Organization) Medicine.kif 5591-5591 BlueCrossBlueShield est une instance de organisation
(instance NASDAQ Organization) FinancialOntology.kif 1740-1740 NASDAQ est une instance de organisation
(range AgreementOrganizationFn Organization) Geography.kif 3057-3057 Le domaine de AgreementOrganizationFn est une instance de organisation
(range DepartmentOfFn Organization) Mid-level-ontology.kif 18274-18274 Le domaine de DepartmentOfFn est une instance de organisation
(range DepartmentOfPreventingFn Organization) Mid-level-ontology.kif 18346-18346 Le domaine de DepartmentOfPreventingFn est une instance de organisation
(range ExecutiveBranchFn Organization) Government.kif 1322-1322 Le domaine de ExecutiveBranchFn est une instance de organisation
(subclass Business Organization) Merge.kif 16150-16150 Business est une sous-classe de organisation
(subclass CareOrganization Organization) Mid-level-ontology.kif 7596-7596 CareOrganization est une sous-classe de organisation
(subclass Club Organization) Mid-level-ontology.kif 914-914 Club est une sous-classe de organisation
(subclass Commission Organization) Mid-level-ontology.kif 8409-8409 Commission est une sous-classe de organisation
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 7550-7550 CommunicationOrganization est une sous-classe de organisation
(subclass CopyrightAuthority Organization) Media.kif 1707-1707 CopyrightAuthority est une sous-classe de organisation
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2619-2619 CrossFunctionalTeam est une sous-classe de organisation
(subclass CustomerSupport Organization) UXExperimentalTerms.kif 2789-2789 CustomerSupport est une sous-classe de organisation
(subclass EducationalOrganization Organization) Merge.kif 16701-16701 �cole Est une sous-classe de organisation
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17 FinancialOrganization est une sous-classe de organisation
(subclass GovernmentOrganization Organization) Merge.kif 16648-16648 GovernmentOrganization est une sous-classe de organisation
(subclass HotelFrontDesk Organization) Hotel.kif 1741-1741 HotelFrontDesk est une sous-classe de organisation
(subclass InternationalOrganization Organization) Government.kif 2510-2510 InternationalOrganization est une sous-classe de organisation
(subclass JudicialOrganization Organization) Merge.kif 16694-16694 JudicialOrganization est une sous-classe de organisation
(subclass LegislativeOrganization Organization) Government.kif 1924-1924 LegislativeOrganization est une sous-classe de organisation
(subclass MarchingBand Organization) Music.kif 966-966 MarchingBand est une sous-classe de organisation
(subclass MediaOrganization Organization) Mid-level-ontology.kif 7566-7566 MediaOrganization est une sous-classe de organisation
(subclass MetallurgicalPlant Organization) Geography.kif 2754-2754 MetallurgicalPlant est une sous-classe de organisation

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 18272-18272 Le nombre 1 argument de DepartmentOfFn est une instance de organisation
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 18343-18343 Le nombre 1 argument de DepartmentOfPreventingFn est une instance de organisation
(domain MemberFn 1 Organization) Government.kif 1761-1761 Le nombre 1 argument de MemberFn est une instance de organisation
(domain MemberRoleFn 1 Organization) Government.kif 1782-1782 Le nombre 1 argument de MemberRoleFn est une instance de organisation
(domain accommodationProvider 2 Organization) Hotel.kif 2766-2766 Le nombre 2 argument de accommodationProvider est une instance de organisation
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 24089-24089 Le nombre 1 argument de affiliatedOrganization est une instance de organisation
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 24090-24090 Le nombre 2 argument de affiliatedOrganization est une instance de organisation
(domain aimOfOrganization 1 Organization) Government.kif 2585-2585 Le nombre 1 argument de aimOfOrganization est une instance de organisation
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 24117-24117 Le nombre 1 argument de ancestorOrganization est une instance de organisation
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 24118-24118 Le nombre 2 argument de ancestorOrganization est une instance de organisation
(domain businessUnit 1 Organization) UXExperimentalTerms.kif 2555-2555 Le nombre 1 argument de businessUnit est une instance de organisation
(domain chamberOfLegislature 1 Organization) Government.kif 2058-2058 Le nombre 1 argument de chamberOfLegislature est une instance de organisation
(domain chamberOfLegislature 2 Organization) Government.kif 2059-2059 Le nombre 2 argument de chamberOfLegislature est une instance de organisation
(domain checkInTime 1 Organization) Hotel.kif 664-664 Le nombre 1 argument de checkInTime est une instance de organisation
(domain colleague 3 Organization) Mid-level-ontology.kif 16805-16805 Le nombre 3 argument de colleague est une instance de organisation
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3630-3630 Le nombre 3 argument de customerRepresentative est une instance de organisation
(domain electionForOrganization 2 Organization) Government.kif 1820-1820 Le nombre 2 argument de electionForOrganization est une instance de organisation
(domain executiveBranch 1 Organization) Government.kif 1281-1281 Le nombre 1 argument de executiveBranch est une instance de organisation
(domain grossMerchandiseBoughtInPeriod 2 Organization) ComputerInput.kif 2965-2965 Le nombre 2 argument de grossMerchandiseBoughtInPeriod est une instance de organisation
(domain grossMerchandiseSoldInPeriod 2 Organization) ComputerInput.kif 2994-2994 Le nombre 2 argument de grossMerchandiseSoldInPeriod est une instance de organisation
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7545-7545 Le nombre 1 argument de headquartersOfOrganization est une instance de organisation
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 24095-24095 Le nombre 1 argument de ideologicalAffiliationOfOrganization est une instance de organisation
(domain insured 2 Organization) Mid-level-ontology.kif 7110-7110 Le nombre 2 argument de insured est une instance de organisation
(domain judicialBranch 1 Organization) Government.kif 2094-2094 Le nombre 1 argument de judicialBranch est une instance de organisation
(domain legislativeBranch 1 Organization) Government.kif 2000-2000 Le nombre 1 argument de legislativeBranch est une instance de organisation

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 20683-20692
(=>
    (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 1633-1639
(=>
    (and
        (industryServiceType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationServiceType ?BUSINESS ?TYPE))		 Economy.kif 1673-1679
(=>
    (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 3063-3067
(=>
    (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 10740-10748
(=>
    (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 25025-25046
(=>
    (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 10724-10732
(=>
    (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 10610-10618
(=>
    (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 10631-10643
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))		 Merge.kif 10620-10629
(=>
    (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 10540-10549
(=>
    (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 7040-7049
(=>
    (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 13308-13319
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))		 Mid-level-ontology.kif 22109-22116
(=>
    (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 20673-20681
(=>
    (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 3704-3708
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (or
        (instance ?PLACE GeopoliticalArea)
        (instance ?PLACE Organization)))		 Economy.kif 3732-3736
(=>
    (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 20501-20508
(=>
    (instance ?CS CustomerSupport)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (businessUnit ?CS ?ORG))))		 UXExperimentalTerms.kif 2796-2801
(=>
    (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 2803-2813
(=>
    (instance ?DC DrugCandidate)
    (exists (?O)
        (and
            (instance ?O Organization)
            (hasPurposeForAgent ?DC
                (instance ?DC Medicine) ?O))))		 Medicine.kif 3089-3096
(=>
    (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 16030-16037
(=>
    (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