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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subOrganization
subOrganization

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


s__documentation(s__subOrganization__m,s__ChineseLanguage,'"(subOrganization ?ORG1 ?ORG2)的意思是 ?ORG1 是一家 Organization,而它是 Organization ?ORG2 的一部分。注:subOrganization 属于 一种 ReflexiveRelation,所以每一个 Organization 都是他自己的 subOrganization。"')

chinese_format.kif 3751-3753
s__documentation(s__subOrganization__m,s__EnglishLanguage,'"(subOrganization ?ORG1 ?ORG2) means that ?ORG1 is an Organization which is a part of the Organization ?ORG2. Note that subOrganization is a ReflexiveRelation, so every Organization is a subOrganization of itself."')

Merge.kif 15963-15966
s__domain(s__subOrganization__m,n__1,s__Organization)

Merge.kif 15961-15961 The number 1 argument of sub organization is an instance of organization
s__domain(s__subOrganization__m,n__2,s__Organization)

Merge.kif 15962-15962 The number 2 argument of sub organization is an instance of organization
s__instance(s__subOrganization__m,s__PartialOrderingRelation)

s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 15960-15960 sub organization is an instance of partial ordering relation
s__subrelation(s__subOrganization__m,s__subCollection__m)

Merge.kif 15959-15959 sub organization is a subrelation of sub collection

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


s__disjointRelation(s__ancestorOrganization__m,s__subOrganization__m)

Mid-level-ontology.kif 22358-22358 ancestor organization and sub organization are disjoint
s__format(s__ChineseLanguage,s__subOrganization__m,'"%1 %n 是 %2 Organization 的一部分"')

chinese_format.kif 810-810
s__format(s__ChineseLanguage,s__subOrganization__m,'"%1 %n 是 %2 机构 的一 part"')

chinese_format.kif 549-549
s__format(s__EnglishLanguage,s__subOrganization__m,'"%1 is %n a part of the organization %2"')

english_format.kif 557-557
s__format(s__EnglishLanguage,s__subOrganization__m,'"%1 is %n a part of the organization %2"')

english_format.kif 826-826
s__format(s__JapaneseLanguage,s__subOrganization__m,'"%1 は組織 %2 の一部では %n"')

english_format.kif 827-827
s__subrelation(s__chamberOfLegislature__m,s__subOrganization__m)

Government.kif 2046-2046 chamber of legislature is a subrelation of sub organization
s__termFormat(s__ChineseLanguage,s__subOrganization__m,'"子机构"')

chinese_format.kif 550-550
s__termFormat(s__ChineseLanguage,s__subOrganization__m,'"子组织"')

domainEnglishFormat.kif 55742-55742
s__termFormat(s__ChineseTraditionalLanguage,s__subOrganization__m,'"子組織"')

domainEnglishFormat.kif 55741-55741
s__termFormat(s__EnglishLanguage,s__subOrganization__m,'"sub organization"')

domainEnglishFormat.kif 55740-55740

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


( ! [V__ORG,V__AREA,V__CHAMBER2,V__CHAMBER1] :
   (((s__instance(V__ORG,s__Organization) &
         s__instance(V__AREA,s__GeopoliticalArea))
       =>
       (((s__attribute(V__ORG,s__UnicameralLegislature) &
             s__legislativeBranch(V__ORG,V__AREA)
           &
           s__instance(V__CHAMBER1,s__LegislativeChamber) &
           s__subOrganization(V__CHAMBER1,s__GovernmentFn(V__AREA))
       &
       s__instance(V__CHAMBER2,s__LegislativeChamber) &
       s__subOrganization(V__CHAMBER2,s__GovernmentFn(V__AREA)))
=>
((V__CHAMBER1 = V__CHAMBER2)))))
)
)

Government.kif 1963-1971
( ! [V__AGENT2,V__POSITION,V__AGENT1,V__ORG,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__Nation) &
           s__instance(V__ORG,s__DiplomaticOrganization) &
           s__subOrganization(V__ORG,s__GovernmentFn(V__AGENT1))
       &
       s__occupiesPosition(V__PERSON,V__POSITION,V__ORG)
     &
     s__instance(V__AGENT2,s__GeopoliticalArea))
   =>
   (s__agentOperatesInArea(V__ORG,V__AGENT2)))))
)
)

Government.kif 4474-4482
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16515-16529
( ! [V__ORG,V__AREA,V__BRANCH] :
   (((s__instance(V__ORG,s__Organization) &
         s__instance(V__BRANCH,s__Organization))
       =>
       (((s__executiveBranch(V__BRANCH,V__AREA)
           &
           s__instance(V__AREA,s__GeopoliticalArea) &
           s__subOrganization(V__ORG,V__BRANCH))
       =>
       (s__subOrganization(V__ORG,s__GovernmentFn(V__AREA))))))
)
)

Government.kif 1299-1304
No TPTP formula. May not be expressible in strict first order. Government.kif 1499-1510
( ! [V__COURT,V__COUNTRY] :
   (((s__instance(V__COURT,s__SupremeCourt) &
         s__subOrganization(V__COURT,s__GovernmentFn(V__COUNTRY))
     &
     s__instance(V__COUNTRY,s__Nation))
   =>
   (s__instance(V__COURT,s__SupremeCourtFn(V__COUNTRY))))
)
)

Government.kif 2177-2182
( ! [V__JOINT,V__FORCE1] :
   (((s__instance(V__JOINT,s__JointForces) &
         s__subOrganization(V__FORCE1,V__JOINT)
       &
       s__instance(V__FORCE1,s__AirForce))
     =>
     (s__leaderPosition(V__FORCE1,s__JointForcesAirCommander)))
   )
)

MilitaryPersons.kif 371-376
( ! [V__JOINT,V__FORCE1] :
   (((s__instance(V__JOINT,s__JointForces) &
         s__subOrganization(V__FORCE1,V__JOINT)
       &
       s__instance(V__FORCE1,s__Army))
     =>
     (s__leaderPosition(V__FORCE1,s__JointForcesLandCommander)))
   )
)

MilitaryPersons.kif 393-398
( ! [V__JOINT,V__FORCE1] :
   (((s__instance(V__JOINT,s__JointForces) &
         s__subOrganization(V__FORCE1,V__JOINT)
       &
       s__instance(V__FORCE1,s__CoastGuard))
     =>
     (s__leaderPosition(V__FORCE1,s__JointForcesMaritimeCommander)))
   )
)

MilitaryPersons.kif 425-430
( ! [V__JOINT,V__FORCE1] :
   (((s__instance(V__JOINT,s__JointForces) &
         s__subOrganization(V__FORCE1,V__JOINT)
       &
       s__instance(V__FORCE1,s__Navy_BranchOfService))
     =>
     (s__leaderPosition(V__FORCE1,s__JointForcesMaritimeCommander)))
   )
)

MilitaryPersons.kif 417-422
( ! [V__JOINT,V__FORCE1] :
   (((s__instance(V__JOINT,s__JointForces) &
         s__subOrganization(V__FORCE1,V__JOINT)
       &
       s__instance(V__FORCE1,s__SpecialOperationsForces))
     =>
     (s__leaderPosition(V__FORCE1,s__JointForcesSpecialOperationsCommander)))
   )
)

MilitaryPersons.kif 446-451
( ! [V__JOINTCOMMANDER,V__JOINT,V__COMMANDER1,V__FORCE1] :
   (((s__instance(V__JOINTCOMMANDER,s__Position) &
         s__instance(V__COMMANDER1,s__Position) &
         s__instance(V__FORCE1,s__Organization))
       =>
       (((s__instance(V__JOINT,s__JointForces) &
             s__subOrganization(V__FORCE1,V__JOINT)
           &
           s__leaderPosition(V__FORCE1,V__COMMANDER1)
         &
         s__leaderPosition(V__JOINT,V__JOINTCOMMANDER))
     =>
     (s__subordinatePosition(V__JOINT,V__COMMANDER1,V__JOINTCOMMANDER)))))
)
)

MilitaryProcesses.kif 1732-1738
( ! [V__JOINTCOMMANDER,V__JOINT,V__FORCE2,V__FORCE1] :
   (((s__instance(V__JOINTCOMMANDER,s__Position) &
         s__instance(V__FORCE2,s__Organization) &
         s__instance(V__FORCE1,s__Organization))
       =>
       (((s__instance(V__JOINT,s__JointForces) &
             s__subOrganization(V__FORCE1,V__JOINT)
           &
           s__subOrganization(V__FORCE2,V__JOINT)
         &
         ~((V__FORCE1 = V__FORCE2))
         &
         s__leaderPosition(V__JOINT,V__JOINTCOMMANDER))
     =>
     ((s__leaderPosition(V__FORCE1,V__JOINTCOMMANDER)
       &
       s__leaderPosition(V__FORCE2,V__JOINTCOMMANDER))))))
)
)

MilitaryProcesses.kif 1717-1727
( ! [V__GOV,V__ORG] :
   (((s__instance(V__ORG,s__JudicialOrganization) &
         s__subOrganization(V__ORG,V__GOV)
       &
       s__instance(V__GOV,s__GovernmentOrganization))
     =>
     (s__instance(V__ORG,s__GovernmentOrganization)))
   )
)

Government.kif 2071-2076
( ! [V__GOV,V__ORG] :
   (((s__instance(V__ORG,s__LegislativeOrganization) &
         s__subOrganization(V__ORG,V__GOV)
       &
       s__instance(V__GOV,s__GovernmentOrganization))
     =>
     (s__instance(V__ORG,s__GovernmentOrganization)))
   )
)

Government.kif 1916-1921
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7795-7805
( ! [V__ORG,V__AREA,V__BRANCH] :
   (((s__instance(V__ORG,s__Organization) &
         s__instance(V__BRANCH,s__Organization))
       =>
       (((s__judicialBranch(V__BRANCH,V__AREA)
           &
           s__instance(V__AREA,s__GeopoliticalArea) &
           s__subOrganization(V__ORG,V__BRANCH))
       =>
       (s__subOrganization(V__ORG,s__GovernmentFn(V__AREA))))))
)
)

Government.kif 2116-2121
( ! [V__GOV,V__ORG] :
   ((s__instance(V__ORG,s__Organization) =>
       (((s__subOrganization(V__ORG,V__GOV)
           &
           s__instance(V__GOV,s__GovernmentOrganization))
         =>
         (s__instance(V__ORG,s__GovernmentOrganization)))))
   )
)

Merge.kif 15915-15919

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


( ! [V__ORG] :
   (((s__instance(V__ORG,s__GovernmentOrganization) =>
         ( ? [V__GOV] :
           ((s__instance(V__GOV,s__Government) &
               s__subOrganization(V__ORG,V__GOV)))))
     &
     (( ? [V__GOV] :
         ((s__instance(V__GOV,s__Government) &
             s__subOrganization(V__ORG,V__GOV))))
     =>
     s__instance(V__ORG,s__GovernmentOrganization)))
)
)

Merge.kif 15908-15913 An organization is an instance of government organization if and only if there exists another organization such that the other organization is an instance of government and the organization is a part of the organization the other organization
( ! [V__ORG] :
   (((s__instance(V__ORG,s__GovernmentOrganization) =>
         (s__instance(V__ORG,s__Government) |
           ( ? [V__GOV] :
             ((s__instance(V__GOV,s__Government) &
                 s__subOrganization(V__ORG,V__GOV))))))
     &
     ((s__instance(V__ORG,s__Government) |
         ( ? [V__GOV] :
           ((s__instance(V__GOV,s__Government) &
               s__subOrganization(V__ORG,V__GOV)))))
     =>
     s__instance(V__ORG,s__GovernmentOrganization)))
)
)

Government.kif 108-115 An organization is an instance of government organization if and only if the organization is an instance of government or there exists another organization such that the other organization is an instance of government and the organization is a part of the organization the other organization
( ! [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__Nation) &
           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,s__GovernmentFn(V__AGENT1))))))))))
)
)

Government.kif 4611-4620
( ! [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__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__Nation))
         =>
         (( ? [V__ORG] :
             ((s__instance(V__ORG,s__DiplomaticOrganization) &
                 s__subOrganization(V__ORG,s__GovernmentFn(V__AGENT1))
             &
             s__occupiesPosition(V__PERSON,V__POSITION,V__ORG))))))))
)
)

Government.kif 4433-4441
( ! [V__ROOM,V__HOTEL] :
   ((s__instance(V__HOTEL,s__Organization) =>
       (((s__element(V__ROOM,s__PropertyFn(V__HOTEL))
         &
         s__attribute(V__ROOM,s__AnnexRoom) &
         s__instance(V__ROOM,s__HotelRoom))
       =>
       (( ? [V__BLDG1, V__BLDG2, V__FRNT] :
           ((s__instance(V__BLDG1,s__Object) &
               s__instance(V__BLDG2,s__Object) &
               (s__subOrganization(V__FRNT,V__HOTEL)
               &
               s__instance(V__FRNT,s__HotelFrontDesk) &
               s__located(V__FRNT,V__BLDG1)
             &
             s__element(V__BLDG1,s__PropertyFn(V__HOTEL))
         &
         s__element(V__BLDG2,s__PropertyFn(V__HOTEL))
     &
     s__part(V__ROOM,V__BLDG2)
   &
   ~((V__BLDG1 = V__BLDG2))))))))))
)
)

Hotel.kif 1092-1105
( ! [V__ORG,V__AREA,V__BRANCH] :
   (((s__instance(V__ORG,s__Organization) &
         s__instance(V__BRANCH,s__Organization))
       =>
       (((s__executiveBranch(V__BRANCH,V__AREA)
           &
           s__instance(V__AREA,s__GeopoliticalArea) &
           s__subOrganization(V__ORG,V__BRANCH))
       =>
       (s__subOrganization(V__ORG,s__GovernmentFn(V__AREA))))))
)
)

Government.kif 1299-1304
( ! [V__AREA,V__BRANCH] :
   ((s__instance(V__BRANCH,s__Organization) =>
       (((s__executiveBranch(V__BRANCH,V__AREA)
           &
           s__instance(V__AREA,s__GeopoliticalArea))
         =>
         (s__subOrganization(V__BRANCH,s__GovernmentFn(V__AREA))))))
)
)

Government.kif 1293-1297
( ! [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__PLACE,V__TYPE] :
   ((s__instance(V__TYPE,s__FormOfGovernment) =>
       (((s__governmentType(V__PLACE,V__TYPE)
           &
           s__instance(V__PLACE,s__GeopoliticalArea) &
           s__subAttribute(V__TYPE,s__ParliamentaryGovernment))
         =>
         (( ? [V__ORG] :
             ((s__instance(V__ORG,s__Parliament) &
                 s__subOrganization(V__ORG,s__GovernmentFn(V__PLACE)))))))))
)
)

Government.kif 244-252
( ! [V__EV,V__P,V__A] :
   (((s__instance(V__P,s__Agent) &
         s__instance(V__A,s__Organization))
       =>
       (((s__instance(V__EV,s__Evacuation) &
             s__agent(V__EV,V__A)
           &
           s__experiencer(V__EV,V__P))
       =>
       (( ? [V__C, V__CA] :
           ((s__instance(V__CA,s__Organization) &
               (s__instance(V__C,s__Classifying) &
                 s__subProcess(V__C,V__EV)
               &
               s__experiencer(V__C,V__P)
             &
             (s__subOrganization(V__CA,V__A)
             |
             s__member(V__CA,V__A)
           |
           (V__CA = V__A))
         &
         s__agent(V__C,V__CA)))))))))
)
)

MilitaryProcesses.kif 2589-2603
( ! [V__O,V__EV,V__A] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__A,s__Organization))
       =>
       (((s__instance(V__EV,s__Evacuation) &
             s__agent(V__EV,V__A)
           &
           s__origin(V__EV,V__O))
       =>
       (( ? [V__T, V__TA] :
           ((s__instance(V__TA,s__Organization) &
               (s__instance(V__T,s__Translocation) &
                 s__subProcess(V__T,V__EV)
               &
               s__origin(V__T,V__O)
             &
             (s__experiencer(V__T,V__TA)
             |
             s__agent(V__T,V__TA))
         &
         (s__subOrganization(V__TA,V__A)
         |
         s__member(V__TA,V__A)
       |
       (V__TA = V__A))))))))))
)
)

MilitaryProcesses.kif 2607-2623
( ! [V__EV,V__P,V__A] :
   (((s__instance(V__P,s__Agent) &
         s__instance(V__A,s__Organization))
       =>
       (((s__instance(V__EV,s__Evacuation) &
             s__experiencer(V__EV,V__P)
           &
           s__agent(V__EV,V__A))
       =>
       (( ? [V__M, V__MA] :
           ((s__instance(V__MA,s__Organization) &
               (s__instance(V__M,s__TherapeuticProcess) &
                 s__subProcess(V__M,V__EV)
               &
               (s__subOrganization(V__MA,V__A)
               |
               s__member(V__MA,V__A)
             |
             (V__MA = V__A))
           &
           s__agent(V__M,V__MA)
         &
         s__experiencer(V__M,V__P)))))))))
)
)

MilitaryProcesses.kif 2571-2585
( ! [V__O,V__EV,V__A] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__A,s__Organization))
       =>
       (((s__instance(V__EV,s__Evacuation) &
             s__origin(V__EV,V__O)
           &
           s__agent(V__EV,V__A))
       =>
       (( ? [V__M, V__MA] :
           ((s__instance(V__MA,s__Organization) &
               (s__instance(V__M,s__Maintaining) &
                 s__eventLocated(V__M,V__O)
               &
               s__subProcess(V__M,V__EV)
             &
             (s__subOrganization(V__MA,V__A)
             |
             s__member(V__MA,V__A)
           |
           (V__MA = V__A))
         &
         s__agent(V__M,V__MA)))))))))
)
)

MilitaryProcesses.kif 2553-2567
( ! [V__O,V__EV,V__A] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__A,s__Organization))
       =>
       (((s__instance(V__EV,s__Evacuation) &
             s__origin(V__EV,V__O)
           &
           s__agent(V__EV,V__A))
       =>
       (( ? [V__T, V__TA] :
           ((s__instance(V__TA,s__Organization) &
               (s__instance(V__T,s__Transportation) &
                 s__destination(V__T,V__O)
               &
               (s__subOrganization(V__TA,V__A)
               |
               s__member(V__TA,V__A)
             |
             (V__TA = V__A))
           &
           (s__agent(V__T,V__TA)
           |
           s__patient(V__T,V__TA))))))))))
)
)

MilitaryProcesses.kif 2534-2549
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14606-14625
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 940-948
( ! [V__ORG,V__AREA,V__BRANCH] :
   (((s__instance(V__ORG,s__Organization) &
         s__instance(V__BRANCH,s__Organization))
       =>
       (((s__judicialBranch(V__BRANCH,V__AREA)
           &
           s__instance(V__AREA,s__GeopoliticalArea) &
           s__subOrganization(V__ORG,V__BRANCH))
       =>
       (s__subOrganization(V__ORG,s__GovernmentFn(V__AREA))))))
)
)

Government.kif 2116-2121
( ! [V__AREA,V__BRANCH] :
   ((s__instance(V__BRANCH,s__Organization) =>
       (((s__judicialBranch(V__BRANCH,V__AREA)
           &
           s__instance(V__AREA,s__GeopoliticalArea))
         =>
         (s__subOrganization(V__BRANCH,s__GovernmentFn(V__AREA))))))
)
)

Government.kif 2110-2114
( ! [V__ORG,V__BRANCH] :
   ((s__instance(V__BRANCH,s__Organization) =>
       (((s__judicialBranch(V__BRANCH,V__ORG)
           &
           s__instance(V__ORG,s__Organization))
         =>
         (s__subOrganization(V__BRANCH,V__ORG)))))
)
)

Government.kif 2104-2108
( ! [V__AGENT,V__ORG] :
   ((s__instance(V__ORG,s__Organization) =>
       (((s__legislativeBranch(V__ORG,V__AGENT)
           &
           s__instance(V__AGENT,s__Organization))
         =>
         (s__subOrganization(V__ORG,V__AGENT)))))
)
)

Government.kif 2009-2013
( ! [V__ORG,V__AREA] :
   ((s__instance(V__ORG,s__Organization) =>
       (((s__legislativeBranch(V__ORG,V__AREA)
           &
           s__instance(V__AREA,s__GeopoliticalArea))
         =>
         (s__subOrganization(V__ORG,s__GovernmentFn(V__AREA))))))
)
)

Government.kif 2015-2019
( ! [V__MUClass2,V__MUClass1,V__MU1] :
   (((s__instance(V__MUClass2,s__Class) &
         s__subclass(V__MUClass2,s__MilitaryUnit) &
         s__instance(V__MUClass1,s__Class) &
         s__subclass(V__MUClass1,s__MilitaryUnit) &
         s__instance(V__MU1,s__Organization))
       =>
       (((s__subEchelon(V__MUClass1,V__MUClass2)
           &
           s__instance(V__MU1,V__MUClass1))
       =>
       (( ? [V__MU2] :
           ((s__instance(V__MU2,s__Organization) &
               (s__instance(V__MU2,V__MUClass2)
               &
               s__subOrganization(V__MU1,V__MU2)))))))))
)
)

Military.kif 693-700
( ! [V__BU,V__ORG] :
   (((s__instance(V__BU,s__Organization) &
         s__instance(V__ORG,s__Business))
       =>
       ((s__businessUnit(V__BU,V__ORG)
         =>
         (s__subOrganization(V__BU,V__ORG)))))
)
)

UXExperimentalTerms.kif 2769-2771
( ! [V__U1,V__U2] :
   (((s__instance(V__U1,s__MilitaryUnit) &
         s__instance(V__U2,s__MilitaryUnit))
       =>
       ((s__hostileForces(V__U1,V__U2)
         =>
         (( ? [V__WAR, V__A1, V__A2] :
             ((s__instance(V__A1,s__GeopoliticalArea) &
                 s__instance(V__A2,s__GeopoliticalArea) &
                 (s__instance(V__WAR,s__War) &
                   s__contestParticipant(V__WAR,V__A1)
                 &
                 s__contestParticipant(V__WAR,V__A2)
               &
               s__subOrganization(V__U1,s__GovernmentFn(V__A1))
           &
           s__subOrganization(V__U2,s__GovernmentFn(V__A2))))))))))
)
)

Mid-level-ontology.kif 7696-7704

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


s__subOrganization(s__CommissionForSocialDevelopment,s__EconomicAndSocialCouncil)

Government.kif 3040-3040 Commission for social development is a part of the organization economic and social council
s__subOrganization(s__CommissionOnCrimePreventionAndCriminalJustice,s__EconomicAndSocialCouncil)

Government.kif 3042-3042 Commission on crime prevention and criminal justice is a part of the organization economic and social council
s__subOrganization(s__CommissionOnHumanRights,s__EconomicAndSocialCouncil)

Government.kif 3044-3044 Commission on human rights is a part of the organization economic and social council
s__subOrganization(s__CommissionOnNarcoticsDrugs,s__EconomicAndSocialCouncil)

Government.kif 3046-3046 Commission on narcotics drugs is a part of the organization economic and social council
s__subOrganization(s__CommissionOnPopulationAndDevelopment,s__EconomicAndSocialCouncil)

Government.kif 3048-3048 Commission on population and development is a part of the organization economic and social council
s__subOrganization(s__CommissionOnScienceAndTechnologyForDevelopment,s__EconomicAndSocialCouncil)

Government.kif 3050-3050 Commission on science and technology for development is a part of the organization economic and social council
s__subOrganization(s__CommissionOnSustainableDevelopment,s__EconomicAndSocialCouncil)

Government.kif 3052-3052 Commission on sustainable development is a part of the organization economic and social council
s__subOrganization(s__CommissionOnTheStatusOfWomen,s__EconomicAndSocialCouncil)

Government.kif 3054-3054 Commission on the status of women is a part of the organization economic and social council
s__subOrganization(s__DepartmentOfHomelandSecurity,s__GovernmentFn(s__UnitedStates))

Government.kif 4791-4791 Department of homeland security is a part of the organization the government of united states
s__subOrganization(s__EconomicAndSocialCommissionForAsiaAndThePacific,s__EconomicAndSocialCouncil)

Government.kif 3056-3056 Economic and social commission for asia and the pacific is a part of the organization economic and social council
s__subOrganization(s__EconomicAndSocialCommissionForWesternAsia,s__EconomicAndSocialCouncil)

Government.kif 3058-3058 Economic and social commission for western asia is a part of the organization economic and social council
s__subOrganization(s__EconomicAndSocialCouncil,s__UnitedNations)

Government.kif 3039-3039 Economic and social council is a part of the organization united nations
s__subOrganization(s__EconomicCommissionForAfrica,s__EconomicAndSocialCouncil)

Government.kif 3060-3060 Economic commission for africa is a part of the organization economic and social council
s__subOrganization(s__EconomicCommissionForEurope,s__EconomicAndSocialCouncil)

Government.kif 3062-3062 Economic commission for europe is a part of the organization economic and social council
s__subOrganization(s__EconomicCommissionForLatinAmericaAndTheCaribbean,s__EconomicAndSocialCouncil)

Government.kif 3064-3064 Economic commission for latin america and the caribbean is a part of the organization economic and social council
s__subOrganization(s__FoodAndAgricultureOrganization,s__EconomicAndSocialCouncil)

Government.kif 3066-3066 Food and agriculture organization is a part of the organization economic and social council
s__subOrganization(s__GoogleCorporation,s__AlphabetCorporation)

ComputingBrands.kif 18-18 GoogleCorporation is a part of the organization Alphabet
s__subOrganization(s__HoldenCorporation,s__GeneralMotorsCorp)

Cars.kif 4519-4519 Holden Corporation is a part of the organization General Motors
s__subOrganization(s__InternationalAtomicEnergyAgency,s__EconomicAndSocialCouncil)

Government.kif 3067-3067 International atomic energy agency is a part of the organization economic and social council
s__subOrganization(s__InternationalBankForReconstructionAndDevelopment,s__EconomicAndSocialCouncil)

Government.kif 3068-3068 International bank for reconstruction and development is a part of the organization economic and social council
s__subOrganization(s__InternationalBankForReconstructionAndDevelopment,s__UnitedNations)

Government.kif 3379-3379 International bank for reconstruction and development is a part of the organization united nations
s__subOrganization(s__InternationalBankForReconstructionAndDevelopment,s__WorldBankGroup)

Government.kif 4282-4282 International bank for reconstruction and development is a part of the organization world bank group
s__subOrganization(s__InternationalCenterForSecretariatOfInvestmentDisputes,s__EconomicAndSocialCouncil)

Government.kif 3069-3069 International center for secretariat of investment disputes is a part of the organization economic and social council
s__subOrganization(s__InternationalCivilAviationOrganization,s__EconomicAndSocialCouncil)

Government.kif 3071-3071 International civil aviation organization is a part of the organization economic and social council
s__subOrganization(s__InternationalCivilAviationOrganization,s__UnitedNations)

Government.kif 3393-3393 International civil aviation organization is a part of the organization united nations

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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