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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilitaryOrganization

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 16009-16011
s__subclass(s__MilitaryOrganization,s__GovernmentOrganization)

s__instance(s__GovernmentOrganization,s__Class)

s__instance(s__MilitaryOrganization,s__Class)

Merge.kif 16008-16008 Military organization is a subclass of government organization
s__instance(s__MilitaryOrganization,s__Class)

s__instance(s__MilitaryForce,s__Class)

s__subclass(s__MilitaryOrganization,s__MilitaryForce)

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

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


s__instance(s__MilitaryOrganization,s__Class)

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

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

s__instance(s__MilitaryOrganization,s__Class)

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

s__instance(s__MilitaryOrganization,s__Class)

s__instance(s__AirForce_BranchOfService,s__Class)

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

s__instance(s__ExternalAgency,s__Class)

s__subclass(s__ExternalAgency,s__MilitaryOrganization)

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

s__instance(s__MilitaryOrganization,s__Class)

s__instance(s__JointForces,s__Class)

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

s__instance(s__Marines_BranchOfService,s__Class)

s__instance(s__MilitaryOrganization,s__Class)

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

s__subclass(s__MilitaryReserveForce,s__MilitaryOrganization)

s__instance(s__MilitaryOrganization,s__Class)

Mid-level-ontology.kif 7948-7948 Military reserve force is a subclass of military organization
s__subclass(s__MilitaryService,s__MilitaryOrganization)

s__instance(s__MilitaryService,s__Class)

s__instance(s__MilitaryOrganization,s__Class)

Mid-level-ontology.kif 7916-7916 Military service is a subclass of military organization
s__instance(s__MilitaryUnit,s__Class)

s__subclass(s__MilitaryUnit,s__MilitaryOrganization)

s__instance(s__MilitaryOrganization,s__Class)

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

s__instance(s__MilitaryOrganization,s__Class)

s__instance(s__NavalAirForce_BranchOfService,s__Class)

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

s__instance(s__Navy_BranchOfService,s__Class)

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

s__instance(s__MilitaryOrganization,s__Class)

s__subclass(s__PeaceKeepingMission,s__MilitaryOrganization)

Mid-level-ontology.kif 21791-21791 Peace keeping mission is a subclass of military organization
s__instance(s__SpecialOperationsForces,s__Class)

s__subclass(s__SpecialOperationsForces,s__MilitaryOrganization)

s__instance(s__MilitaryOrganization,s__Class)

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 21780-21785
( ! [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 18210-18219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21773-21778
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17080-17086
( ! [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 7985-7995
No TPTP formula. May not be expressible in strict first order. Military.kif 137-143


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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