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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Organization

Sigma KEE - Organization
Organization(Organizzazione)

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


(disjoint Organization Human) Media.kif 35-35 Organizzazione è disgiunto da Umano
(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 16683-16692
(subclass Organization AutonomousAgent) Merge.kif 16681-16681 Organizzazione è una sottoclasse di AutonomousAgent
(subclass Organization Group) Merge.kif 16675-16675 Organizzazione è una sottoclasse di Gruppo

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


(instance AmericanInstituteInTaiwan Organization) Government.kif 4689-4689 AmericanInstituteInTaiwan è un' istanza di Organizzazione
(instance BlueCrossBlueShield Organization) Medicine.kif 5591-5591 BlueCrossBlueShield è un' istanza di Organizzazione
(instance NASDAQ Organization) FinancialOntology.kif 1740-1740 NASDAQ è un' istanza di Organizzazione
(range AgreementOrganizationFn Organization) Geography.kif 3057-3057 rango di AgreementOrganizationFn è un'istanza di Organizzazione
(range DepartmentOfFn Organization) Mid-level-ontology.kif 18352-18352 rango di DepartmentOfFn è un'istanza di Organizzazione
(range DepartmentOfPreventingFn Organization) Mid-level-ontology.kif 18424-18424 rango di DepartmentOfPreventingFn è un'istanza di Organizzazione
(range ExecutiveBranchFn Organization) Government.kif 1286-1286 rango di ExecutiveBranchFn è un'istanza di Organizzazione
(subclass Business Organization) Merge.kif 16251-16251 Business è una sottoclasse di Organizzazione
(subclass CareOrganization Organization) Mid-level-ontology.kif 7651-7651 CareOrganization è una sottoclasse di Organizzazione
(subclass Club Organization) Mid-level-ontology.kif 935-935 Club è una sottoclasse di Organizzazione
(subclass Commission Organization) Mid-level-ontology.kif 8464-8464 Commission è una sottoclasse di Organizzazione
(subclass CommunicationOrganization Organization) Mid-level-ontology.kif 7605-7605 CommunicationOrganization è una sottoclasse di Organizzazione
(subclass CopyrightAuthority Organization) Media.kif 1707-1707 CopyrightAuthority è una sottoclasse di Organizzazione
(subclass CrossFunctionalTeam Organization) UXExperimentalTerms.kif 2611-2611 CrossFunctionalTeam è una sottoclasse di Organizzazione
(subclass CustomerSupport Organization) UXExperimentalTerms.kif 2781-2781 CustomerSupport è una sottoclasse di Organizzazione
(subclass EducationalOrganization Organization) Merge.kif 16802-16802 OrganizzazioneEducativa è una sottoclasse di Organizzazione
(subclass FinancialOrganization Organization) FinancialOntology.kif 17-17 FinancialOrganization è una sottoclasse di Organizzazione
(subclass GovernmentOrganization Organization) Merge.kif 16749-16749 GovernmentOrganization è una sottoclasse di Organizzazione
(subclass HotelFrontDesk Organization) Hotel.kif 1741-1741 HotelFrontDesk è una sottoclasse di Organizzazione
(subclass InternationalOrganization Organization) Government.kif 2474-2474 InternationalOrganization è una sottoclasse di Organizzazione
(subclass JudicialOrganization Organization) Merge.kif 16795-16795 JudicialOrganization è una sottoclasse di Organizzazione
(subclass LegislativeOrganization Organization) Government.kif 1888-1888 LegislativeOrganization è una sottoclasse di Organizzazione
(subclass MarchingBand Organization) Music.kif 966-966 MarchingBand è una sottoclasse di Organizzazione
(subclass MediaOrganization Organization) Mid-level-ontology.kif 7621-7621 MediaOrganization è una sottoclasse di Organizzazione
(subclass MetallurgicalPlant Organization) Geography.kif 2754-2754 MetallurgicalPlant è una sottoclasse di Organizzazione

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 18350-18350 Il numero 1 argomenti di DepartmentOfFn è un istanza di Organizzazione
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 18421-18421 Il numero 1 argomenti di DepartmentOfPreventingFn è un istanza di Organizzazione
(domain MemberFn 1 Organization) Government.kif 1725-1725 Il numero 1 argomenti di MemberFn è un istanza di Organizzazione
(domain MemberRoleFn 1 Organization) Government.kif 1746-1746 Il numero 1 argomenti di MemberRoleFn è un istanza di Organizzazione
(domain accommodationProvider 2 Organization) Hotel.kif 2766-2766 Il numero 2 argomenti di accommodationProvider è un istanza di Organizzazione
(domain affiliatedOrganization 1 Organization) Mid-level-ontology.kif 24197-24197 Il numero 1 argomenti di affiliatedOrganization è un istanza di Organizzazione
(domain affiliatedOrganization 2 Organization) Mid-level-ontology.kif 24198-24198 Il numero 2 argomenti di affiliatedOrganization è un istanza di Organizzazione
(domain aimOfOrganization 1 Organization) Government.kif 2549-2549 Il numero 1 argomenti di aimOfOrganization è un istanza di Organizzazione
(domain ancestorOrganization 1 Organization) Mid-level-ontology.kif 24225-24225 Il numero 1 argomenti di ancestorOrganization è un istanza di Organizzazione
(domain ancestorOrganization 2 Organization) Mid-level-ontology.kif 24226-24226 Il numero 2 argomenti di ancestorOrganization è un istanza di Organizzazione
(domain businessUnit 1 Organization) UXExperimentalTerms.kif 2547-2547 Il numero 1 argomenti di businessUnit è un istanza di Organizzazione
(domain chamberOfLegislature 1 Organization) Government.kif 2022-2022 Il numero 1 argomenti di chamberOfLegislature è un istanza di Organizzazione
(domain chamberOfLegislature 2 Organization) Government.kif 2023-2023 Il numero 2 argomenti di chamberOfLegislature è un istanza di Organizzazione
(domain checkInTime 1 Organization) Hotel.kif 664-664 Il numero 1 argomenti di checkInTime è un istanza di Organizzazione
(domain colleague 3 Organization) Mid-level-ontology.kif 16860-16860 Il numero 3 argomenti di colleague è un istanza di Organizzazione
(domain customerRepresentative 3 Organization) FinancialOntology.kif 3630-3630 Il numero 3 argomenti di customerRepresentative è un istanza di Organizzazione
(domain electionForOrganization 2 Organization) Government.kif 1784-1784 Il numero 2 argomenti di electionForOrganization è un istanza di Organizzazione
(domain executiveBranch 1 Organization) Government.kif 1245-1245 Il numero 1 argomenti di executiveBranch è un istanza di Organizzazione
(domain grossMerchandiseBoughtInPeriod 2 Organization) ComputerInput.kif 2965-2965 Il numero 2 argomenti di grossMerchandiseBoughtInPeriod è un istanza di Organizzazione
(domain grossMerchandiseSoldInPeriod 2 Organization) ComputerInput.kif 2994-2994 Il numero 2 argomenti di grossMerchandiseSoldInPeriod è un istanza di Organizzazione
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7600-7600 Il numero 1 argomenti di headquartersOfOrganization è un istanza di Organizzazione
(domain ideologicalAffiliationOfOrganization 1 Organization) Mid-level-ontology.kif 24203-24203 Il numero 1 argomenti di ideologicalAffiliationOfOrganization è un istanza di Organizzazione
(domain insured 2 Organization) Mid-level-ontology.kif 7165-7165 Il numero 2 argomenti di insured è un istanza di Organizzazione
(domain judicialBranch 1 Organization) Government.kif 2058-2058 Il numero 1 argomenti di judicialBranch è un istanza di Organizzazione
(domain legislativeBranch 1 Organization) Government.kif 1964-1964 Il numero 1 argomenti di legislativeBranch è un istanza di Organizzazione

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 1738-1743
(=>
    (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 4622-4631
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))
Government.kif 4468-4473
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (employs ?AGENT1 ?PERSON))
Government.kif 4456-4460
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 4444-4448
(=>
    (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 20761-20770
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))
Government.kif 1265-1269
(=>
    (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 1300-1304
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2119-2123
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2014-2018
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1731-1736
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1753-1759
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))
Government.kif 1761-1767
(=>
    (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 10774-10782
(=>
    (and
        (instance ?GROUP Organization)
        (electionForPosition ?ELECTION
            (MemberFn ?GROUP)))
    (electionForOrganization ?ELECTION ?GROUP))
Government.kif 1795-1799
(=>
    (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 25150-25171
(=>
    (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 10758-10766
(=>
    (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 10644-10652
(=>
    (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 10665-10677
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))
Merge.kif 10654-10663
(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?AGENT AutonomousAgent)
        (agent ?JOIN ?AGENT)
        (patient ?JOIN ?ORG)
        (instance ?JOIN Organization))
    (member ?AGENT ?ORG))
Government.kif 2465-2472

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 10574-10583
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (subclass
            (ElectionFn ?AGENT) Election))
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1656-1662
(=>
    (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 7095-7104
(=>
    (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 13384-13395
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))
Mid-level-ontology.kif 22212-22219
(=>
    (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 20751-20759
(=>
    (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 1253-1257
(=>
    (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 23017-23026
(=>
    (instance ?BU BuildingUnit)
    (exists (?O ?B)
        (and
            (instance ?B Building)
            (instance ?O Organization)
            (part ?BU ?B)
            (workLocation ?O ?BU))))
Mid-level-ontology.kif 20579-20586
(=>
    (instance ?CS CustomerSupport)
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (businessUnit ?CS ?ORG))))
UXExperimentalTerms.kif 2788-2793
(=>
    (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 2795-2805
(=>
    (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 928-933
(=>
    (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 16085-16092
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 2066-2070
(=>
    (legislativeBranch ?ORG ?AGENT)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1971-1975
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 987-991
(=>
    (suffrageAgeMinimum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 915-919


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