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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryOrganization
MilitaryOrganization(military organization)ACE, ACLANT, Allied_Command_Atlantic, Allied_Command_Europe, Communist_Party_of_Kampuchea, French_Foreign_Legion, KR, Khmer_Rouge, Lord's_Resistance_Army, Mujahedeen_Khalq, Party_of_Democratic_Kampuchea, SA, SHAPE, Special_Forces, Storm_Troops, Sturmabteilung, Supreme_Headquarters_Allied_Powers_Europe, U._S._Army_Special_Forces, United_States_Army_Special_Forces, army_unit, battle_group, division, garrison, military, militia, regiment, reserves

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


s__documentation(s__MilitaryOrganization,s__ChineseLanguage,'"这是任何属于 Government 一部分全副 武装的 Organization,它的使命是在国际纷争中代表 Government 出面。"')

chinese_format.kif 3731-3732
s__documentation(s__MilitaryOrganization,s__EnglishLanguage,'"Any heavily armed Organization that is part of a Government and that is charged with representing the Government in international conflicts."')

Merge.kif 15892-15894
s__subclass(s__MilitaryOrganization,s__GovernmentOrganization)

s__instance(s__GovernmentOrganization,s__SetOrClass)

s__instance(s__MilitaryOrganization,s__SetOrClass)

Merge.kif 15891-15891 Military organization is a subclass of government organization
s__instance(s__MilitaryForce,s__SetOrClass)

s__instance(s__MilitaryOrganization,s__SetOrClass)

s__subclass(s__MilitaryOrganization,s__MilitaryForce)

Merge.kif 15890-15890 Military organization is a subclass of military force

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


s__instance(s__MilitaryOrganization,s__SetOrClass)

s__instance(s__JointChiefsOfStaff,s__MilitaryOrganization)

MilitaryProcesses.kif 904-904 Joint chiefs of staff is an instance of military organization
s__instance(s__JointStaff,s__MilitaryOrganization)

s__instance(s__MilitaryOrganization,s__SetOrClass)

MilitaryProcesses.kif 884-884 Joint staff is an instance of military organization
s__instance(s__USMilitary,s__MilitaryOrganization)

s__instance(s__MilitaryOrganization,s__SetOrClass)

MilitaryProcesses.kif 950-950 US military is an instance of military organization
s__subclass(s__AirForce_BranchOfService,s__MilitaryOrganization)

s__instance(s__MilitaryOrganization,s__SetOrClass)

s__instance(s__AirForce_BranchOfService,s__SetOrClass)

Military.kif 798-798 Air force- branch of service is a subclass of military organization
s__instance(s__ExternalAgency,s__SetOrClass)

s__instance(s__MilitaryOrganization,s__SetOrClass)

s__subclass(s__ExternalAgency,s__MilitaryOrganization)

MilitaryProcesses.kif 879-879 External agency is a subclass of military organization
s__instance(s__MilitaryOrganization,s__SetOrClass)

s__subclass(s__JointForces,s__MilitaryOrganization)

s__instance(s__JointForces,s__SetOrClass)

MilitaryProcesses.kif 1704-1704 Joint forces is a subclass of military organization
s__subclass(s__Marines_BranchOfService,s__MilitaryOrganization)

s__instance(s__MilitaryOrganization,s__SetOrClass)

s__instance(s__Marines_BranchOfService,s__SetOrClass)

Military.kif 808-808 Marines- branch of service is a subclass of military organization
s__instance(s__MilitaryOrganization,s__SetOrClass)

s__subclass(s__MilitaryReserveForce,s__MilitaryOrganization)

s__instance(s__MilitaryReserveForce,s__SetOrClass)

Mid-level-ontology.kif 7638-7638 Military reserve force is a subclass of military organization
s__instance(s__MilitaryService,s__SetOrClass)

s__subclass(s__MilitaryService,s__MilitaryOrganization)

s__instance(s__MilitaryOrganization,s__SetOrClass)

Mid-level-ontology.kif 7606-7606 Military service is a subclass of military organization
s__subclass(s__MilitaryUnit,s__MilitaryOrganization)

s__instance(s__MilitaryUnit,s__SetOrClass)

s__instance(s__MilitaryOrganization,s__SetOrClass)

Mid-level-ontology.kif 7623-7623 Military unit is a subclass of military organization
s__subclass(s__NavalAirForce_BranchOfService,s__MilitaryOrganization)

s__instance(s__MilitaryOrganization,s__SetOrClass)

s__instance(s__NavalAirForce_BranchOfService,s__SetOrClass)

Military.kif 813-813 Naval air force- branch of service is a subclass of military organization
s__subclass(s__Navy_BranchOfService,s__MilitaryOrganization)

s__instance(s__MilitaryOrganization,s__SetOrClass)

s__instance(s__Navy_BranchOfService,s__SetOrClass)

Military.kif 816-816 Navy- branch of service is a subclass of military organization
s__instance(s__MilitaryOrganization,s__SetOrClass)

s__instance(s__PeaceKeepingMission,s__SetOrClass)

s__subclass(s__PeaceKeepingMission,s__MilitaryOrganization)

Mid-level-ontology.kif 20709-20709 Peace keeping mission is a subclass of military organization
s__subclass(s__SpecialOperationsForces,s__MilitaryOrganization)

s__instance(s__MilitaryOrganization,s__SetOrClass)

s__instance(s__SpecialOperationsForces,s__SetOrClass)

MilitaryProcesses.kif 299-299 Special operations forces is a subclass of military organization
s__termFormat(s__ChineseLanguage,s__MilitaryOrganization,'"军事组织"')

domainEnglishFormat.kif 37668-37668
s__termFormat(s__ChineseTraditionalLanguage,s__MilitaryOrganization,'"軍事組織"')

domainEnglishFormat.kif 37667-37667
s__termFormat(s__EnglishLanguage,s__MilitaryOrganization,'"military organization"')

domainEnglishFormat.kif 37666-37666

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


s__domain(s__militaryOfArea__m,n__1,s__MilitaryOrganization)

Military.kif 825-825 The number 1 argument of military of area is an instance of military organization

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


( ! [V__MILITARY,V__LEADER] :
   ((s__instance(V__LEADER,s__Position) =>
       (((s__attribute(V__MILITARY,s__PeaceState) &
             s__instance(V__MILITARY,s__MilitaryOrganization) &
             s__leaderPosition(V__MILITARY,V__LEADER))
         =>
         (s__subordinatePosition(V__MILITARY,V__LEADER,s__SecretaryOfDefense)))))
   )
)

MilitaryPersons.kif 461-466
( ! [V__MILITARY,V__LEADER] :
   ((s__instance(V__LEADER,s__Position) =>
       (((s__attribute(V__MILITARY,s__WarState) &
             s__instance(V__MILITARY,s__MilitaryOrganization) &
             s__leaderPosition(V__MILITARY,V__LEADER))
         =>
         (s__subordinatePosition(V__MILITARY,V__LEADER,s__President)))))
   )
)

MilitaryPersons.kif 473-478
( ! [V__NATION_FRIENDLY,V__CAA,V__NATION_THIS,V__AGENT_MIL_THIS] :
   (((s__instance(V__CAA,s__CivilAffairsAgreement) &
         s__partyToAgreement(V__AGENT_MIL_THIS,V__CAA)
       &
       s__instance(V__AGENT_MIL_THIS,s__MilitaryOrganization) &
       s__militaryOfArea(V__AGENT_MIL_THIS,V__NATION_THIS)
     &
     s__instance(V__NATION_THIS,s__Nation) &
     s__located(V__AGENT_MIL_THIS,V__NATION_FRIENDLY)
   &
   s__instance(V__NATION_FRIENDLY,s__Nation))
=>
((~((V__NATION_THIS = V__NATION_FRIENDLY))
     &
     ~(s__enemy(V__NATION_THIS,V__NATION_FRIENDLY))
   &
   ( ? [V__AGENT_FRIENDLY] :
     ((s__instance(V__AGENT_FRIENDLY,s__CognitiveAgent) &
         (s__located(V__AGENT_FRIENDLY,V__NATION_FRIENDLY)
         &
         s__partyToAgreement(V__AGENT_FRIENDLY,V__CAA)
       &
       ~(s__instance(V__AGENT_FRIENDLY,s__MilitaryOrganization)))))))))
)
)

MilitaryProcesses.kif 2289-2308
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 133-140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20698-20703
( ! [V__MILITARY] :
   ((s__instance(V__MILITARY,s__MilitaryOrganization) =>
       (( ? [V__AREA] :
           ((s__instance(V__AREA,s__GeopoliticalArea) &
               s__militaryOfArea(V__MILITARY,V__AREA))))))
   )
)

Military.kif 788-793

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


( ! [V__OFFICER,V__COR] :
   ((s__instance(V__OFFICER,s__Agent) =>
       (((s__attribute(V__OFFICER,V__COR)
           &
           s__instance(V__COR,s__CommissionedOfficerRank))
         =>
         (( ? [V__MANAGE, V__PATIENT] :
             ((s__instance(V__MANAGE,s__Managing) &
                 s__agent(V__MANAGE,V__OFFICER)
               &
               s__patient(V__MANAGE,V__PATIENT)
             &
             (s__instance(V__PATIENT,s__MilitaryOrganization) |
               s__attribute(V__PATIENT,s__Soldier)))))))))
)
)

Military.kif 286-297
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 120-131
( ! [V__NATION_FRIENDLY,V__CAA,V__NATION_THIS,V__AGENT_MIL_THIS] :
   (((s__instance(V__CAA,s__CivilAffairsAgreement) &
         s__partyToAgreement(V__AGENT_MIL_THIS,V__CAA)
       &
       s__instance(V__AGENT_MIL_THIS,s__MilitaryOrganization) &
       s__militaryOfArea(V__AGENT_MIL_THIS,V__NATION_THIS)
     &
     s__instance(V__NATION_THIS,s__Nation) &
     s__located(V__AGENT_MIL_THIS,V__NATION_FRIENDLY)
   &
   s__instance(V__NATION_FRIENDLY,s__Nation))
=>
((~((V__NATION_THIS = V__NATION_FRIENDLY))
     &
     ~(s__enemy(V__NATION_THIS,V__NATION_FRIENDLY))
   &
   ( ? [V__AGENT_FRIENDLY] :
     ((s__instance(V__AGENT_FRIENDLY,s__CognitiveAgent) &
         (s__located(V__AGENT_FRIENDLY,V__NATION_FRIENDLY)
         &
         s__partyToAgreement(V__AGENT_FRIENDLY,V__CAA)
       &
       ~(s__instance(V__AGENT_FRIENDLY,s__MilitaryOrganization)))))))))
)
)

MilitaryProcesses.kif 2289-2308
( ! [V__OFFICER] :
   ((s__instance(V__OFFICER,s__Agent) =>
       ((s__attribute(V__OFFICER,s__MilitaryOfficer) =>
           (( ? [V__MANAGE, V__PATIENT] :
               ((s__instance(V__MANAGE,s__Managing) &
                   s__agent(V__MANAGE,V__OFFICER)
                 &
                 s__patient(V__MANAGE,V__PATIENT)
               &
               (s__instance(V__PATIENT,s__MilitaryOrganization) |
                 s__attribute(V__PATIENT,s__Soldier)))))))))
)
)

Mid-level-ontology.kif 17142-17151
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20691-20696
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16012-16018
( ! [V__CAA] :
   ((s__instance(V__CAA,s__CivilAffairsActivity) =>
       (( ? [V__AGENT1, V__AGENT2] :
           ((s__instance(V__AGENT2,s__Agent) &
               (s__agent(V__CAA,V__AGENT1)
               &
               s__agent(V__CAA,V__AGENT2)
             &
             ~((V__AGENT1 = V__AGENT2))
             &
             s__instance(V__AGENT1,s__MilitaryOrganization) &
             ~(s__instance(V__AGENT2,s__MilitaryOrganization))))))))
)
)

MilitaryProcesses.kif 2378-2388
( ! [V__CAO] :
   ((s__instance(V__CAO,s__CivilAffairsOperation) =>
       (( ? [V__AGENT1, V__AGENT2] :
           ((s__instance(V__AGENT2,s__Agent) &
               (s__agent(V__CAO,V__AGENT1)
               &
               s__agent(V__CAO,V__AGENT2)
             &
             ~((V__AGENT1 = V__AGENT2))
             &
             s__instance(V__AGENT1,s__MilitaryOrganization) &
             ~(s__instance(V__AGENT2,s__MilitaryOrganization))))))))
)
)

MilitaryProcesses.kif 2236-2246
( ! [V__CAO] :
   ((s__instance(V__CAO,s__CivilMilitaryOperation) =>
       (( ? [V__AGENT1, V__AGENT2] :
           ((s__instance(V__AGENT2,s__Agent) &
               (s__agent(V__CAO,V__AGENT1)
               &
               s__agent(V__CAO,V__AGENT2)
             &
             ~((V__AGENT1 = V__AGENT2))
             &
             s__instance(V__AGENT1,s__MilitaryOrganization) &
             ~(s__instance(V__AGENT2,s__MilitaryOrganization))))))))
)
)

MilitaryProcesses.kif 2268-2278
( ! [V__S] :
   ((s__instance(V__S,s__MilitarySurplus) =>
       (( ? [V__A, V__B] :
           ((s__instance(V__A,s__Physical) &
               (s__instance(V__B,s__Buying) &
                 s__patient(V__B,V__A)
               &
               s__objectTransferred(V__B,V__S)
             &
             ~(s__instance(V__A,s__MilitaryOrganization))
             &
             ~(s__member(V__A,s__MilitaryOrganization))))))))
)
)

Mid-level-ontology.kif 7675-7685
No TPTP formula. May not be expressible in strict first order. Military.kif 137-143


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