|
|
| 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 |
|
|
|
|
