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 disjoint Organization and Human
(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 15319-15328
(subclass Organization Agent) Merge.kif 15317-15317 subclass Organization and Agent
(subclass Organization Group) Merge.kif 15311-15311 subclass Organization and Group

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


(instance AmericanInstituteInTaiwan Organization) Government.kif 4656-4656 instance AmericanInstituteInTaiwan and Organization
(instance NASDAQ Organization) FinancialOntology.kif 1675-1675 instance NASDAQ and Organization
(range AgreementOrganizationFn Organization) Geography.kif 2916-2916 range AgreementOrganizationFn and Organization
(range DepartmentOfFn Organization) Mid-level-ontology.kif 16025-16025 range DepartmentOfFn and Organization
(range ExecutiveBranchFn Organization) Government.kif 1276-1276 range ExecutiveBranchFn and Organization
(subclass Business Organization) Merge.kif 14892-14892 subclass Business and Organization
(subclass CareOrganization Organization) Mid-level-ontology.kif 7331-7331 subclass CareOrganization and Organization
(subclass Club Organization) Mid-level-ontology.kif 1326-1326 subclass Club and Organization
(subclass Commission Organization) Mid-level-ontology.kif 8162-8162 subclass Commission and Organization
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 7287-7287 subclass CommunicationOrganization and Organization
(subclass CopyrightAuthority Organization) Media.kif 1697-1697 subclass CopyrightAuthority and Organization
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2816-2816 subclass CrossFunctionalTeam and Organization
(subclass CustomerSupport Organization) UXExperimentalTerms.kif 2986-2986 subclass CustomerSupport and Organization
(subclass EducationalOrganization Organization) Merge.kif 15432-15432 subclass EducationalOrganization and Organization
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17 subclass FinancialOrganization and Organization
(subclass GovernmentOrganization Organization) Merge.kif 15385-15385 subclass GovernmentOrganization and Organization
(subclass HotelFrontDesk Organization) Hotel.kif 1689-1689 subclass HotelFrontDesk and Organization
(subclass InternationalOrganization Organization) Government.kif 2451-2451 subclass InternationalOrganization and Organization
(subclass JudicialOrganization Organization) Merge.kif 15425-15425 subclass JudicialOrganization and Organization
(subclass LegislativeOrganization Organization) Government.kif 1878-1878 subclass LegislativeOrganization and Organization
(subclass MarchingBand Organization) Music.kif 960-960 subclass MarchingBand and Organization
(subclass MediaOrganization Organization) Mid-level-ontology.kif 7302-7302 subclass MediaOrganization and Organization
(subclass MetallurgicalPlant Organization) Geography.kif 2694-2694 subclass MetallurgicalPlant and Organization
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 7314-7314 subclass NonprofitOrganization and Organization
(subclass OrganizationalBoard Organization) Mid-level-ontology.kif 8233-8233 subclass OrganizationalBoard and Organization

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 16023-16023 domain DepartmentOfFn, 1 and Organization
(domain MemberFn 1 Organization) Government.kif 1715-1715 domain MemberFn, 1 and Organization
(domain MemberRoleFn 1 Organization) Government.kif 1736-1736 domain MemberRoleFn, 1 and Organization
(domain accommodationProvider 2 Organization) Hotel.kif 2708-2708 domain accommodationProvider, 2 and Organization
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 21904-21904 domain affiliatedOrganization, 1 and Organization
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 21905-21905 domain affiliatedOrganization, 2 and Organization
(domain aimOfOrganization 1 Organization) Government.kif 2526-2526 domain aimOfOrganization, 1 and Organization
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 21932-21932 domain ancestorOrganization, 1 and Organization
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 21933-21933 domain ancestorOrganization, 2 and Organization
(domain businessUnit 1 Organization) UXExperimentalTerms.kif 2752-2752 domain businessUnit, 1 and Organization
(domain chamberOfLegislature 1 Organization) Government.kif 2012-2012 domain chamberOfLegislature, 1 and Organization
(domain chamberOfLegislature 2 Organization) Government.kif 2013-2013 domain chamberOfLegislature, 2 and Organization
(domain checkInTime 1 Organization) Hotel.kif 637-637 domain checkInTime, 1 and Organization
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3528-3528 domain customerRepresentative, 3 and Organization
(domain electionForOrganization 2 Organization) Government.kif 1774-1774 domain electionForOrganization, 2 and Organization
(domain executiveBranch 1 Organization) Government.kif 1235-1235 domain executiveBranch, 1 and Organization
(domain grossMerchandiseBoughtInPeriod 2 Organization) ComputerInput.kif 2540-2540 domain grossMerchandiseBoughtInPeriod, 2 and Organization
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7282-7282 domain headquartersOfOrganization, 1 and Organization
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 21910-21910 domain ideologicalAffiliationOfOrganization, 1 and Organization
(domain insured 2 Organization) Mid-level-ontology.kif 6818-6818 domain insured, 2 and Organization
(domain judicialBranch 1 Organization) Government.kif 2048-2048 domain judicialBranch, 1 and Organization
(domain legislativeBranch 1 Organization) Government.kif 1954-1954 domain legislativeBranch, 1 and Organization
(domain listedOn 2 Organization) FinancialOntology.kif 1663-1663 domain listedOn, 2 and Organization
(domain monetaryWage 1 Organization) Mid-level-ontology.kif 14519-14519 domain monetaryWage, 1 and Organization
(domain occupiesPosition 3 Organization) Merge.kif 15943-15943 domain occupiesPosition, 3 and Organization

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 18391-18400
(=>
    (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 9904-9912
(=>
    (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 9888-9896
(=>
    (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 9835-9843
(=>
    (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 9851-9859
(=>
    (and
        (instance ?OP BeginningOperations)
        (instance ?ORG Organization)
        (agent ?OP ?ORG))
    (starts ?OP
        (WhenFn ?ORG)))
Mid-level-ontology.kif 13940-13945
(=>
    (and
        (instance ?OP CeasingOperations)
        (instance ?ORG Organization)
        (agent ?OP ?ORG))
    (finishes ?OP
        (WhenFn ?ORG)))
Mid-level-ontology.kif 13977-13982

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 9797-9806
(=>
    (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 12270-12281
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))
Mid-level-ontology.kif 19971-19978
(=>
    (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 18381-18389
(=>
    (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 20852-20859
(=>
    (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 13711-13718
(=>
    (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