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 15836-15845
s__instance(s__Agent,s__SetOrClass)

s__subclass(s__Organization,s__Agent)

s__instance(s__Organization,s__SetOrClass)

 Merge.kif 15834-15834 Organization is a subclass of agent
s__instance(s__Group,s__SetOrClass)

s__subclass(s__Organization,s__Group)

s__instance(s__Organization,s__SetOrClass)

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

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


s__instance(s__AmericanInstituteInTaiwan,s__Organization)

s__instance(s__Organization,s__SetOrClass)

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

s__instance(s__NASDAQ,s__Organization)

 FinancialOntology.kif 1688-1688 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 16498-16498 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__Organization,s__SetOrClass)

s__instance(s__Business,s__SetOrClass)

s__subclass(s__Business,s__Organization)

 Merge.kif 15404-15404 Business is a subclass of organization
s__instance(s__Organization,s__SetOrClass)

s__subclass(s__CareOrganization,s__Organization)

s__instance(s__CareOrganization,s__SetOrClass)

 Mid-level-ontology.kif 6988-6988 Care organization is a subclass of organization
s__instance(s__Organization,s__SetOrClass)

s__instance(s__Club,s__SetOrClass)

s__subclass(s__Club,s__Organization)

 Mid-level-ontology.kif 885-885 Club is a subclass of organization
s__instance(s__Organization,s__SetOrClass)

s__subclass(s__Commission,s__Organization)

s__instance(s__Commission,s__SetOrClass)

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

s__instance(s__CommunicationOrganization,s__SetOrClass)

s__instance(s__Organization,s__SetOrClass)

 Mid-level-ontology.kif 6942-6942 Communication organization is a subclass of organization
s__subclass(s__CopyrightAuthority,s__Organization)

s__instance(s__Organization,s__SetOrClass)

s__instance(s__CopyrightAuthority,s__SetOrClass)

 Media.kif 1697-1697 CopyrightAuthority is a subclass of organization
s__instance(s__CrossFunctionalTeam,s__SetOrClass)

s__instance(s__Organization,s__SetOrClass)

s__subclass(s__CrossFunctionalTeam,s__Organization)

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

s__subclass(s__CustomerSupport,s__Organization)

s__instance(s__Organization,s__SetOrClass)

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

s__instance(s__Organization,s__SetOrClass)

s__instance(s__EducationalOrganization,s__SetOrClass)

 Merge.kif 15949-15949 Educational organization is a subclass of organization
s__instance(s__Organization,s__SetOrClass)

s__instance(s__FinancialOrganization,s__SetOrClass)

s__subclass(s__FinancialOrganization,s__Organization)

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

s__instance(s__Organization,s__SetOrClass)

s__subclass(s__GovernmentOrganization,s__Organization)

 Merge.kif 15902-15902 Government organization is a subclass of organization
s__instance(s__HotelFrontDesk,s__SetOrClass)

s__instance(s__Organization,s__SetOrClass)

s__subclass(s__HotelFrontDesk,s__Organization)

 Hotel.kif 1703-1703 Front desk is a subclass of organization
s__instance(s__Organization,s__SetOrClass)

s__subclass(s__InternationalOrganization,s__Organization)

s__instance(s__InternationalOrganization,s__SetOrClass)

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

s__instance(s__Organization,s__SetOrClass)

s__instance(s__JudicialOrganization,s__SetOrClass)

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

s__instance(s__Organization,s__SetOrClass)

s__instance(s__LegislativeOrganization,s__SetOrClass)

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

s__instance(s__MarchingBand,s__SetOrClass)

s__subclass(s__MarchingBand,s__Organization)

 Music.kif 960-960 Marching band is a subclass of organization
s__instance(s__Organization,s__SetOrClass)

s__instance(s__MediaOrganization,s__SetOrClass)

s__subclass(s__MediaOrganization,s__Organization)

 Mid-level-ontology.kif 6958-6958 Media organization is a subclass of organization
s__instance(s__Organization,s__SetOrClass)

s__instance(s__MetallurgicalPlant,s__SetOrClass)

s__subclass(s__MetallurgicalPlant,s__Organization)

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

s__subclass(s__NonprofitOrganization,s__Organization)

s__instance(s__NonprofitOrganization,s__SetOrClass)

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

s__instance(s__Organization,s__SetOrClass)

s__instance(s__OrganizationalBoard,s__SetOrClass)

 Mid-level-ontology.kif 7777-7777 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 16496-16496 The number 1 argument of department is an instance of organization
s__domain(s__DepartmentOfPreventingFn__m,n__1,s__Organization)

 Mid-level-ontology.kif 16535-16535 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 2722-2722 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 22328-22328 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 22329-22329 The number 2 argument of affiliated organization is an instance of organization
s__domain(s__aimOfOrganization__m,n__1,s__Organization)

 Government.kif 2558-2558 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 22356-22356 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 22357-22357 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__customerRepresentative__m,n__3,s__Organization)

 FinancialOntology.kif 3571-3571 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 2934-2934 The number 2 argument of GMB is an instance of organization
s__domain(s__grossMerchandiseSoldInPeriod__m,n__2,s__Organization)

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

 Mid-level-ontology.kif 6937-6937 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 22334-22334 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 6504-6504 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
s__domain(s__listedOn__m,n__2,s__Organization)

 FinancialOntology.kif 1676-1676 The number 2 argument of listed on 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 4621-4630
( ! [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 4467-4472
( ! [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 4455-4459
( ! [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 4443-4447
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18837-18846
( ! [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 10281-10289
( ! [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 23199-23220
No TPTP formula. May not be expressible in strict first order. Merge.kif 10265-10273
No TPTP formula. May not be expressible in strict first order. Merge.kif 10151-10159
No TPTP formula. May not be expressible in strict first order. Merge.kif 10172-10184
No TPTP formula. May not be expressible in strict first order. Merge.kif 10161-10170
( ! [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 2474-2481

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 10098-10107
( ! [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 6434-6443
( ! [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 12682-12693
( ! [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 20389-20396
( ! [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 18827-18835
( ! [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 21160-21169
( ! [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 18656-18663
( ! [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 878-883
( ! [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 14363-14370
( ! [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