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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organization
Organization(organization)A-team, AA, AARP, AEC, AFL, AFL-CIO, AHPCRC, AMEX, Agriculture, Agriculture_Department, Air_Corps, Alcoholics_Anonymous, American_Federation_of_Labor, American_Federation_of_Labor_and_Congress_of_Industrial_Organizations, American_Legion, American_Stock_Exchange, Apollo_program, Army_High_Performance_Computing_Research_Center, Association_for_the_Advancement_of_Retired_Persons, Atomic_Energy_Commission, Beatles, Bedlam, Black_Hand, Bourse, Boy_Scout, Bureau_of_Customs, Bureau_of_Engraving_and_Printing, Bureau_of_the_Census, CIA, CIO, Camorra, Campfire_Girl, Census_Bureau, Central_Intelligence_Agency, College_of_Cardinals, Commerce, Commerce_Department, Comptroller_of_the_Currency, Congress_of_Industrial_Organizations, Cosa_Nostra, Council_of_Economic_Advisors, Council_on_Environmental_Policy, Creek_Confederacy, Cub_Scout, Curb, Customs_Bureau, Customs_Service, DOE, Defense, Defense_Department...

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


s__disjoint(s__Organization,s__Human)

 Media.kif 35-35 Organization is disjoint from human
s__documentation(s__Organization,s__ChineseLanguage,'"一个 Organization 是一家公司或者是类似的机构。 Organization 的 member 通常有着共同的一向和功能。注：这个类别也包括组织的分支和部门等等。例如： 壳牌石油公司和壳牌的会计部都是 Organization 的实例。也有注意：一家 Organization 的成立需要起码存在 一位 member(因为 Organization 是 Collection 的子类别)因此，对于纯粹法律上的组织，我们应该假设 以一个虚拟的 member。"')

 chinese_format.kif 3720-3724
s__documentation(s__Organization,s__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 15953-15962
s__subclass(s__Organization,s__Agent)

s__instance(s__Agent,s__Class)

s__instance(s__Organization,s__Class)

 Merge.kif 15951-15951 Organization is a subclass of agent
s__subclass(s__Organization,s__Group)

s__instance(s__Organization,s__Class)

s__instance(s__Group,s__Class)

 Merge.kif 15945-15945 Organization is a subclass of group

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


s__instance(s__AmericanInstituteInTaiwan,s__Organization)

s__instance(s__Organization,s__Class)

 Government.kif 4701-4701 American institute in taiwan is an instance of organization
s__instance(s__NASDAQ,s__Organization)

s__instance(s__Organization,s__Class)

 FinancialOntology.kif 1709-1709 NASDAQ is an instance of organization
s__range(s__AgreementOrganizationFn__m,s__Organization)

 Geography.kif 2938-2938 The range of agreement organization is an instance of organization
s__range(s__DepartmentOfFn__m,s__Organization)

 Mid-level-ontology.kif 17566-17566 The range of department is an instance of organization
s__range(s__ExecutiveBranchFn__m,s__Organization)

 Government.kif 1308-1308 The range of executive branch is an instance of organization
s__instance(s__Business,s__Class)

s__instance(s__Organization,s__Class)

s__subclass(s__Business,s__Organization)

 Merge.kif 15521-15521 Business is a subclass of organization
s__instance(s__CareOrganization,s__Class)

s__instance(s__Organization,s__Class)

s__subclass(s__CareOrganization,s__Organization)

 Mid-level-ontology.kif 7276-7276 Care organization is a subclass of organization
s__instance(s__Club,s__Class)

s__instance(s__Organization,s__Class)

s__subclass(s__Club,s__Organization)

 Mid-level-ontology.kif 886-886 Club is a subclass of organization
s__subclass(s__Commission,s__Organization)

s__instance(s__Organization,s__Class)

s__instance(s__Commission,s__Class)

 Mid-level-ontology.kif 8016-8016 Commission is a subclass of organization
s__subclass(s__CommunicationOrganization,s__Organization)

s__instance(s__CommunicationOrganization,s__Class)

s__instance(s__Organization,s__Class)

 Mid-level-ontology.kif 7230-7230 Communication organization is a subclass of organization
s__instance(s__CopyrightAuthority,s__Class)

s__subclass(s__CopyrightAuthority,s__Organization)

s__instance(s__Organization,s__Class)

 Media.kif 1697-1697 CopyrightAuthority is a subclass of organization
s__subclass(s__CrossFunctionalTeam,s__Organization)

s__instance(s__CrossFunctionalTeam,s__Class)

s__instance(s__Organization,s__Class)

 UXExperimentalTerms.kif 2821-2821 Cross-functional team is a subclass of organization
s__subclass(s__CustomerSupport,s__Organization)

s__instance(s__CustomerSupport,s__Class)

s__instance(s__Organization,s__Class)

 UXExperimentalTerms.kif 2991-2991 Customer support is a subclass of organization
s__subclass(s__EducationalOrganization,s__Organization)

s__instance(s__EducationalOrganization,s__Class)

s__instance(s__Organization,s__Class)

 Merge.kif 16066-16066 Educational organization is a subclass of organization
s__instance(s__FinancialOrganization,s__Class)

s__instance(s__Organization,s__Class)

s__subclass(s__FinancialOrganization,s__Organization)

 FinancialOntology.kif 17-17 Financial organization is a subclass of organization
s__instance(s__GovernmentOrganization,s__Class)

s__instance(s__Organization,s__Class)

s__subclass(s__GovernmentOrganization,s__Organization)

 Merge.kif 16019-16019 Government organization is a subclass of organization
s__instance(s__Organization,s__Class)

s__instance(s__HotelFrontDesk,s__Class)

s__subclass(s__HotelFrontDesk,s__Organization)

 Hotel.kif 1716-1716 Front desk is a subclass of organization
s__subclass(s__InternationalOrganization,s__Organization)

s__instance(s__Organization,s__Class)

s__instance(s__InternationalOrganization,s__Class)

 Government.kif 2496-2496 International organization is a subclass of organization
s__subclass(s__JudicialOrganization,s__Organization)

s__instance(s__JudicialOrganization,s__Class)

s__instance(s__Organization,s__Class)

 Merge.kif 16059-16059 Judicial organization is a subclass of organization
s__subclass(s__LegislativeOrganization,s__Organization)

s__instance(s__LegislativeOrganization,s__Class)

s__instance(s__Organization,s__Class)

 Government.kif 1910-1910 Legislative organization is a subclass of organization
s__instance(s__Organization,s__Class)

s__subclass(s__MarchingBand,s__Organization)

s__instance(s__MarchingBand,s__Class)

 Music.kif 961-961 Marching band is a subclass of organization
s__instance(s__MediaOrganization,s__Class)

s__instance(s__Organization,s__Class)

s__subclass(s__MediaOrganization,s__Organization)

 Mid-level-ontology.kif 7246-7246 Media organization is a subclass of organization
s__instance(s__MetallurgicalPlant,s__Class)

s__instance(s__Organization,s__Class)

s__subclass(s__MetallurgicalPlant,s__Organization)

 Geography.kif 2716-2716 Metallurgical plant is a subclass of organization
s__subclass(s__NonprofitOrganization,s__Organization)

s__instance(s__NonprofitOrganization,s__Class)

s__instance(s__Organization,s__Class)

 Mid-level-ontology.kif 7259-7259 Nonprofit organization is a subclass of organization
s__subclass(s__OrganizationalBoard,s__Organization)

s__instance(s__OrganizationalBoard,s__Class)

s__instance(s__Organization,s__Class)

 Mid-level-ontology.kif 8087-8087 Organizational board is a subclass of organization

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__domain(s__DepartmentOfFn__m,n__1,s__Organization)

 Mid-level-ontology.kif 17564-17564 The number 1 argument of department is an instance of organization
s__domain(s__DepartmentOfPreventingFn__m,n__1,s__Organization)

 Mid-level-ontology.kif 17603-17603 The number 1 argument of DepartmentOfPreventingFn is an instance of organization
s__domain(s__MemberFn__m,n__1,s__Organization)

 Government.kif 1747-1747 The number 1 argument of member is an instance of organization
s__domain(s__MemberRoleFn__m,n__1,s__Organization)

 Government.kif 1768-1768 The number 1 argument of member role is an instance of organization
s__domain(s__accommodationProvider__m,n__2,s__Organization)

 Hotel.kif 2735-2735 The number 2 argument of accommodations provider is an instance of organization
s__domain(s__affiliatedOrganization__m,n__1,s__Organization)

 Mid-level-ontology.kif 23409-23409 The number 1 argument of affiliated organization is an instance of organization
s__domain(s__affiliatedOrganization__m,n__2,s__Organization)

 Mid-level-ontology.kif 23410-23410 The number 2 argument of affiliated organization is an instance of organization
s__domain(s__aimOfOrganization__m,n__1,s__Organization)

 Government.kif 2571-2571 The number 1 argument of aim of organization is an instance of organization
s__domain(s__ancestorOrganization__m,n__1,s__Organization)

 Mid-level-ontology.kif 23437-23437 The number 1 argument of ancestor organization is an instance of organization
s__domain(s__ancestorOrganization__m,n__2,s__Organization)

 Mid-level-ontology.kif 23438-23438 The number 2 argument of ancestor organization is an instance of organization
s__domain(s__businessUnit__m,n__1,s__Organization)

 UXExperimentalTerms.kif 2757-2757 The number 1 argument of business unit is an instance of organization
s__domain(s__chamberOfLegislature__m,n__1,s__Organization)

 Government.kif 2044-2044 The number 1 argument of chamber of legislature is an instance of organization
s__domain(s__chamberOfLegislature__m,n__2,s__Organization)

 Government.kif 2045-2045 The number 2 argument of chamber of legislature is an instance of organization
s__domain(s__checkInTime__m,n__1,s__Organization)

 Hotel.kif 643-643 The number 1 argument of check-in time is an instance of organization
s__domain(s__colleague__m,n__3,s__Organization)

 Mid-level-ontology.kif 16108-16108 The number 3 argument of colleague is an instance of organization
s__domain(s__customerRepresentative__m,n__3,s__Organization)

 FinancialOntology.kif 3592-3592 The number 3 argument of customer representative is an instance of organization
s__domain(s__electionForOrganization__m,n__2,s__Organization)

 Government.kif 1806-1806 The number 2 argument of election for organization is an instance of organization
s__domain(s__executiveBranch__m,n__1,s__Organization)

 Government.kif 1267-1267 The number 1 argument of executive branch is an instance of organization
s__domain(s__grossMerchandiseBoughtInPeriod__m,n__2,s__Organization)

 ComputerInput.kif 2994-2994 The number 2 argument of GMB is an instance of organization
s__domain(s__grossMerchandiseSoldInPeriod__m,n__2,s__Organization)

 ComputerInput.kif 3023-3023 The number 2 argument of GMV is an instance of organization
s__domain(s__headquartersOfOrganization__m,n__1,s__Organization)

 Mid-level-ontology.kif 7225-7225 The number 1 argument of headquarters of organization is an instance of organization
s__domain(s__ideologicalAffiliationOfOrganization__m,n__1,s__Organization)

 Mid-level-ontology.kif 23415-23415 The number 1 argument of ideological affiliation of organization is an instance of organization
s__domain(s__insured__m,n__2,s__Organization)

 Mid-level-ontology.kif 6774-6774 The number 2 argument of insured is an instance of organization
s__domain(s__judicialBranch__m,n__1,s__Organization)

 Government.kif 2080-2080 The number 1 argument of judicial branch is an instance of organization
s__domain(s__legislativeBranch__m,n__1,s__Organization)

 Government.kif 1986-1986 The number 1 argument of legislative branch is an instance of organization

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


( ! [V__AGENT,V__ORG] :
   (((s__attribute(V__AGENT,s__MemberFn(V__ORG))
     &
     s__instance(V__AGENT,s__Agent) &
     s__instance(V__ORG,s__Organization))
   =>
   (s__member(V__AGENT,V__ORG)))
)
)

 Government.kif 1760-1765
( ! [V__AGENT2,V__TYPE,V__AGENT1] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Organization))
       =>
       (((s__diplomaticOrganizationType(V__AGENT1,V__TYPE,V__AGENT2)
           &
           s__instance(V__AGENT1,s__Organization) &
           s__instance(V__AGENT2,s__GeopoliticalArea))
         =>
         (( ? [V__ORG] :
             ((s__instance(V__ORG,s__Organization) &
                 (s__instance(V__ORG,V__TYPE)
                 &
                 s__located(V__ORG,V__AGENT2)
               &
               s__subOrganization(V__ORG,V__AGENT1)))))))))
)
)

 Government.kif 4634-4643
( ! [V__AGENT2,V__POSITION,V__AGENT1,V__PERSON] :
   (((s__instance(V__POSITION,s__Position) &
         s__instance(V__PERSON,s__Human))
       =>
       (((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
           &
           s__instance(V__AGENT1,s__Organization) &
           s__instance(V__AGENT2,s__GeopoliticalArea))
         =>
         (s__agentOperatesInArea(V__AGENT1,V__AGENT2)))))
)
)

 Government.kif 4480-4485
( ! [V__AGENT2,V__POSITION,V__AGENT1,V__PERSON] :
   (((s__instance(V__AGENT2,s__Agent) &
         s__instance(V__POSITION,s__Position) &
         s__instance(V__PERSON,s__Human))
       =>
       (((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
           &
           s__instance(V__AGENT1,s__Organization))
         =>
         (s__employs(V__AGENT1,V__PERSON)))))
)
)

 Government.kif 4468-4472
( ! [V__AGENT2,V__POSITION,V__AGENT1,V__ORG,V__PERSON] :
   (((s__instance(V__AGENT2,s__Agent) &
         s__instance(V__POSITION,s__Position) &
         s__instance(V__ORG,s__Organization) &
         s__instance(V__PERSON,s__Human))
       =>
       (((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
           &
           s__instance(V__AGENT1,s__Organization))
         =>
         (s__occupiesPosition(V__PERSON,V__POSITION,V__ORG)))))
)
)

 Government.kif 4456-4460
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19906-19915
( ! [V__ORG,V__BRANCH] :
   ((s__instance(V__BRANCH,s__Organization) =>
       (((s__executiveBranch(V__BRANCH,V__ORG)
           &
           s__instance(V__ORG,s__Organization))
         =>
         (s__subOrganization(V__BRANCH,V__ORG)))))
)
)

 Government.kif 1287-1291
( ! [V__AGENT,V__TYPE] :
   ((s__instance(V__TYPE,s__FormOfGovernment) =>
       (((s__governmentType(V__AGENT,V__TYPE)
           &
           s__subAttribute(V__TYPE,s__TheocraticGovernment) &
           s__instance(V__AGENT,s__Organization))
         =>
         (s__instance(V__AGENT,s__ReligiousOrganization)))))
   )
)

 Government.kif 333-338
( ! [V__TYPE,V__INDUSTRY,V__BUSINESS] :
   ((s__subclass(V__TYPE,s__Object) =>
       (((s__industryProductType(V__INDUSTRY,V__TYPE)
           &
           s__instance(V__INDUSTRY,s__IndustryAttribute) &
           s__instance(V__BUSINESS,s__Organization) &
           s__attribute(V__BUSINESS,V__INDUSTRY))
       =>
       (s__organizationProductType(V__BUSINESS,V__TYPE)))))
)
)

 Economy.kif 1637-1643
( ! [V__TYPE,V__INDUSTRY,V__BUSINESS] :
   ((s__subclass(V__TYPE,s__IntentionalProcess) =>
       (((s__industryServiceType(V__INDUSTRY,V__TYPE)
           &
           s__instance(V__INDUSTRY,s__IndustryAttribute) &
           s__instance(V__BUSINESS,s__Organization) &
           s__attribute(V__BUSINESS,V__INDUSTRY))
       =>
       (s__organizationServiceType(V__BUSINESS,V__TYPE)))))
)
)

 Economy.kif 1677-1683
( ! [V__AREA] :
   (((s__instance(s__ExecutiveBranchFn(V__AREA)
      ,s__Organization) &
       s__instance(V__AREA,s__GeopoliticalArea))
     =>
     (s__executiveBranch(s__ExecutiveBranchFn(V__AREA)
    ,s__GovernmentFn(V__AREA))))
)
)

 Government.kif 1322-1326
( ! [V__AREA] :
   (((s__instance(s__JudiciaryFn(V__AREA)
      ,s__Organization) &
       s__instance(V__AREA,s__GeopoliticalArea))
     =>
     (s__judicialBranch(s__JudiciaryFn(V__AREA)
    ,s__GovernmentFn(V__AREA))))
)
)

 Government.kif 2141-2145
( ! [V__AREA] :
   (((s__instance(s__LegislatureFn(V__AREA)
      ,s__Organization) &
       s__instance(V__AREA,s__GeopoliticalArea))
     =>
     (s__legislativeBranch(s__LegislatureFn(V__AREA)
    ,s__GovernmentFn(V__AREA))))
)
)

 Government.kif 2036-2040
( ! [V__AGENT,V__ORG] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__ORG,s__Organization) &
         s__member(V__AGENT,V__ORG))
     =>
     (s__attribute(V__AGENT,s__MemberFn(V__ORG))))
)
)

 Government.kif 1753-1758
( ! [V__AGENT,V__POSITION,V__ORG] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__ORG,s__Organization) &
         s__instance(V__POSITION,s__Position) &
         s__attribute(V__AGENT,s__MemberRoleFn(V__ORG,V__POSITION)))
   =>
   (s__attribute(V__AGENT,s__MemberFn(V__ORG))))
)
)

 Government.kif 1775-1781
( ! [V__AGENT,V__POSITION,V__ORG] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__ORG,s__Organization) &
         s__instance(V__POSITION,s__Position) &
         s__attribute(V__AGENT,s__MemberRoleFn(V__ORG,V__POSITION)))
   =>
   (s__member(V__AGENT,V__ORG)))
)
)

 Government.kif 1783-1789
( ! [V__AGR] :
   (((s__instance(V__AGR,s__InternationalAgreement) &
         s__instance(s__AgreementOrganizationFn(V__AGR)
      ,s__Organization))
     =>
     (s__instance(s__AgreementOrganizationFn(V__AGR)
    ,s__OrganizationOfNations)))
)
)

 Geography.kif 2944-2948
No TPTP formula. May not be expressible in strict first order. Merge.kif 10325-10333
( ! [V__GROUP,V__ELECTION] :
   ((s__instance(V__ELECTION,s__Election) =>
       (((s__instance(V__GROUP,s__Organization) &
             s__electionForPosition(V__ELECTION,s__MemberFn(V__GROUP)))
       =>
       (s__electionForOrganization(V__ELECTION,V__GROUP)))))
)
)

 Government.kif 1817-1821
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24280-24301
No TPTP formula. May not be expressible in strict first order. Merge.kif 10309-10317
No TPTP formula. May not be expressible in strict first order. Merge.kif 10195-10203
No TPTP formula. May not be expressible in strict first order. Merge.kif 10216-10228
No TPTP formula. May not be expressible in strict first order. Merge.kif 10205-10214
( ! [V__AGENT,V__JOIN,V__ORG] :
   ((s__instance(V__ORG,s__Collection) =>
       (((s__instance(V__JOIN,s__JoiningAnOrganization) &
             s__instance(V__AGENT,s__Agent) &
             s__agent(V__JOIN,V__AGENT)
           &
           s__patient(V__JOIN,V__ORG)
         &
         s__instance(V__JOIN,s__Organization))
       =>
       (s__member(V__AGENT,V__ORG)))))
)
)

 Government.kif 2487-2494

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


( ! [V__AGENT,V__ACT] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__ACT,s__OrganizationalProcess) &
             s__agent(V__ACT,V__AGENT))
         =>
         ((s__instance(V__AGENT,s__Organization) |
             ( ? [V__ORG] :
               ((s__instance(V__ORG,s__Organization) &
                   s__member(V__AGENT,V__ORG)))))))))
)
)

 Merge.kif 10142-10151
( ! [V__AGENT] :
   (((s__instance(V__AGENT,s__Agent) &
         s__subclass(s__ElectionFn(V__AGENT)
      ,s__Election))
     =>
     ((s__instance(V__AGENT,s__Organization) |
         s__instance(V__AGENT,s__GeopoliticalArea))))
   )
)

 Government.kif 1678-1684
( ! [V__OBJ,V__ATTR] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__ATTR,s__IndustryAttribute) &
             s__attribute(V__OBJ,V__ATTR))
         =>
         (s__instance(V__OBJ,s__Organization)))))
   )
)

 Media.kif 1884-1888
( ! [V__ORG,V__UNIT] :
   (((s__instance(V__UNIT,s__CommercialUnit) &
         s__instance(V__ORG,s__Organization) &
         s__located(V__ORG,V__UNIT))
     =>
     (~(( ? [V__OTHER] :
           ((s__instance(V__OTHER,s__Organization) &
               s__located(V__OTHER,V__UNIT)
             &
             ~((V__OTHER = V__ORG))))))))
)
)

 Mid-level-ontology.kif 6704-6713
( ! [V__AGENT,V__WAR] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__AGENT,s__Collection))
       =>
       (((s__instance(V__WAR,s__War) &
             s__agent(V__WAR,V__AGENT))
         =>
         ((s__instance(V__AGENT,s__GeopoliticalArea) |
             (s__instance(V__AGENT,s__Organization) &
               ( ! [V__MEMBER] :
                 ((s__member(V__MEMBER,V__AGENT)
                   =>
                   (s__instance(V__MEMBER,s__GeopoliticalArea)))))))))))
)
)

 Merge.kif 12727-12738
( ! [V__X] :
   ((s__instance(V__X,s__Agent) =>
       ((s__attribute(V__X,s__BusinessExecutive) =>
           (( ? [V__BUSINESS, V__MANAGE] :
               ((s__instance(V__MANAGE,s__Managing) &
                   s__instance(V__BUSINESS,s__Organization) &
                   s__patient(V__MANAGE,V__BUSINESS)
                 &
                 s__agent(V__MANAGE,V__X))))))))
)
)

 Mid-level-ontology.kif 21471-21478
( ! [V__MOVIE,V__DIRECTOR] :
   (((s__instance(V__MOVIE,s__MotionPicture) &
         s__instance(V__DIRECTOR,s__Human))
       =>
       ((s__directed(V__DIRECTOR,V__MOVIE)
         =>
         (( ? [V__FILMMAKING, V__FILMCREW] :
             ((s__instance(V__FILMMAKING,s__FilmMaking) &
                 s__instance(V__FILMCREW,s__Organization) &
                 s__leader(V__FILMCREW,V__DIRECTOR)
               &
               s__agent(V__FILMMAKING,V__FILMCREW)
             &
             s__result(V__FILMMAKING,V__MOVIE))))))))
)
)

 Mid-level-ontology.kif 19896-19904
( ! [V__AGENT,V__ATTRIBUTE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__ATTRIBUTE,s__EconomicAttribute))
       =>
       ((s__economyType(V__AGENT,V__ATTRIBUTE)
         =>
         ((s__instance(V__AGENT,s__GeopoliticalArea) |
             s__instance(V__AGENT,s__Organization))))))
   )
)

 Economy.kif 91-95
( ! [V__FY,V__PLACE] :
   (((s__subclass(V__FY,s__TimeInterval) &
         s__instance(V__PLACE,s__Agent))
       =>
       (((V__FY = s__FiscalYearFn(V__PLACE))
         =>
         ((s__instance(V__PLACE,s__GeopoliticalArea) |
             s__instance(V__PLACE,s__Organization))))))
   )
)

 Economy.kif 3707-3711
( ! [V__FY,V__PLACE,V__YEAR] :
   (((s__instance(V__FY,s__TimeInterval) &
         s__instance(V__PLACE,s__Agent) &
         s__subclass(V__YEAR,s__Year))
       =>
       (((V__FY = s__FiscalYearStartingFn(V__PLACE,V__YEAR))
         =>
         ((s__instance(V__PLACE,s__GeopoliticalArea) |
             s__instance(V__PLACE,s__Organization))))))
   )
)

 Economy.kif 3733-3737
( ! [V__AGENT,V__BRANCH] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__BRANCH,s__Organization))
       =>
       ((s__executiveBranch(V__BRANCH,V__AGENT)
         =>
         ((s__instance(V__BRANCH,s__GeopoliticalArea) |
             s__instance(V__BRANCH,s__Organization))))))
   )
)

 Government.kif 1275-1279
( ! [V__AGENT,V__TYPE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__TYPE,s__FormOfGovernment))
       =>
       ((s__governmentType(V__AGENT,V__TYPE)
         =>
         ((s__instance(V__AGENT,s__Organization) |
             s__instance(V__AGENT,s__GeopoliticalArea))))))
   )
)

 Government.kif 136-140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22242-22251
( ! [V__BU] :
   ((s__instance(V__BU,s__BuildingUnit) =>
       (( ? [V__O, V__B] :
           ((s__instance(V__B,s__Building) &
               s__instance(V__O,s__Organization) &
               s__part(V__BU,V__B)
             &
             s__workLocation(V__O,V__BU))))))
)
)

 Mid-level-ontology.kif 19725-19732
( ! [V__CS] :
   ((s__instance(V__CS,s__CustomerSupport) =>
       (( ? [V__ORG] :
           ((s__instance(V__ORG,s__Organization) &
               s__businessUnit(V__CS,V__ORG))))))
   )
)

 UXExperimentalTerms.kif 2998-3003
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3005-3015
( ! [V__FOUND] :
   ((s__instance(V__FOUND,s__Founding) =>
       (( ? [V__ORG] :
           ((s__instance(V__ORG,s__Organization) &
               s__result(V__FOUND,V__ORG))))))
   )
)

 Mid-level-ontology.kif 879-884
( ! [V__N] :
   ((s__instance(V__N,s__BroadcastNetwork) =>
       (( ? [V__O] :
           ((s__instance(V__O,s__Organization) &
               ( ! [V__M] :
                 ((s__instance(V__M,s__Object) =>
                     ((s__member(V__M,V__N)
                       =>
                       (s__possesses(V__O,V__M))))))))))))
)
)

 Communications.kif 369-377
( ! [V__RESOLUTION] :
   ((s__instance(V__RESOLUTION,s__Resolution) =>
       (( ? [V__AGENT, V__MEETING] :
           ((s__instance(V__AGENT,s__Organization) &
               s__agent(V__RESOLUTION,V__AGENT)
             &
             s__subProcess(V__RESOLUTION,V__MEETING)
           &
           s__instance(V__MEETING,s__FormalMeeting))))))
)
)

 Mid-level-ontology.kif 15338-15345
( ! [V__AGENT,V__BRANCH] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__BRANCH,s__Organization))
       =>
       ((s__judicialBranch(V__BRANCH,V__AGENT)
         =>
         ((s__instance(V__BRANCH,s__GeopoliticalArea) |
             s__instance(V__BRANCH,s__Organization))))))
   )
)

 Government.kif 2088-2092
( ! [V__AGENT,V__ORG] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__ORG,s__Organization))
       =>
       ((s__legislativeBranch(V__ORG,V__AGENT)
         =>
         ((s__instance(V__AGENT,s__Organization) |
             s__instance(V__AGENT,s__GeopoliticalArea))))))
   )
)

 Government.kif 1993-1997
( ! [V__AGENT,V__AGE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__AGE,s__TimeDuration))
       =>
       ((s__suffrageAgeMaximum(V__AGENT,V__AGE)
         =>
         ((s__instance(V__AGENT,s__Organization) |
             s__instance(V__AGENT,s__GeopoliticalArea))))))
   )
)

 Government.kif 1009-1013
( ! [V__AGENT,V__AGE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__AGE,s__TimeDuration))
       =>
       ((s__suffrageAgeMinimum(V__AGENT,V__AGE)
         =>
         ((s__instance(V__AGENT,s__Organization) |
             s__instance(V__AGENT,s__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 3.0 is open source software produced by Articulate Software and its partners