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, military_organization, militia, regiment, reserves

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


(documentation MilitaryOrganization ChineseLanguage "这是任何属于 Government 一部分全副 武装的 Organization,它的使命是在国际纷争中代表 Government 出面。") Merge.kif 16934-16935
(documentation MilitaryOrganization EnglishLanguage "Any heavily armed Organization that is part of a Government and that is charged with representing the Government in international conflicts.") Merge.kif 16931-16933
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16930-16930 Military organization is a subclass of government organization
(subclass MilitaryOrganization MilitaryForce) Merge.kif 16929-16929 Military organization is a subclass of military force

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


(instance JointChiefsOfStaff MilitaryOrganization) MilitaryProcesses.kif 893-893 Joint chiefs of staff is an instance of military organization
(instance JointStaff MilitaryOrganization) MilitaryProcesses.kif 873-873 Joint staff is an instance of military organization
(instance USMilitary MilitaryOrganization) MilitaryProcesses.kif 939-939 US military is an instance of military organization
(subclass AirForce-BranchOfService MilitaryOrganization) Military.kif 798-798 Air force- branch of service is a subclass of military organization
(subclass ExternalAgency MilitaryOrganization) MilitaryProcesses.kif 868-868 External agency is a subclass of military organization
(subclass JointForces MilitaryOrganization) MilitaryProcesses.kif 1691-1691 Joint forces is a subclass of military organization
(subclass Marines-BranchOfService MilitaryOrganization) Military.kif 808-808 Marines- branch of service is a subclass of military organization
(subclass MilitaryReserveForce MilitaryOrganization) Mid-level-ontology.kif 8094-8094 Military reserve force is a subclass of military organization
(subclass MilitaryService MilitaryOrganization) Mid-level-ontology.kif 8063-8063 Military service is a subclass of military organization
(subclass MilitaryUnit MilitaryOrganization) Mid-level-ontology.kif 8080-8080 Military unit is a subclass of military organization
(subclass NavalAirForce-BranchOfService MilitaryOrganization) Military.kif 813-813 Naval air force- branch of service is a subclass of military organization
(subclass Navy-BranchOfService MilitaryOrganization) Military.kif 816-816 Navy- branch of service is a subclass of military organization
(subclass PeaceKeepingMission MilitaryOrganization) Mid-level-ontology.kif 20376-20376 Peace keeping mission is a subclass of military organization
(subclass SpecialOperationsForces MilitaryOrganization) MilitaryProcesses.kif 290-290 Special operations forces is a subclass of military organization
(termFormat EnglishLanguage MilitaryOrganization "military organization") domainEnglishFormat.kif 6700-6700 "military organization" is the printable form of military organization in english language

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


(domain militaryOfArea 1 MilitaryOrganization) Military.kif 825-825 The number 1 argument of military of area is an instance of military organization

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


(=>
    (and
        (attribute ?MILITARY PeaceState)
        (instance ?MILITARY MilitaryOrganization)
        (leaderPosition ?MILITARY ?LEADER))
    (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense))
MilitaryPersons.kif 461-466
(=>
    (and
        (attribute ?MILITARY WarState)
        (instance ?MILITARY MilitaryOrganization)
        (leaderPosition ?MILITARY ?LEADER))
    (subordinatePosition ?MILITARY ?LEADER President))
MilitaryPersons.kif 473-478
(=>
    (and
        (instance ?CAA CivilAffairsAgreement)
        (partyToAgreement ?AGENT_MIL_THIS ?CAA)
        (instance ?AGENT_MIL_THIS MilitaryOrganization)
        (militaryOfArea ?AGENT_MIL_THIS ?NATION_THIS)
        (instance ?NATION_THIS Nation)
        (located ?AGENT_MIL_THIS ?NATION_FRIENDLY)
        (instance ?NATION_FRIENDLY Nation))
    (and
        (not
            (equal ?NATION_THIS ?NATION_FRIENDLY))
        (not
            (enemy ?NATION_THIS ?NATION_FRIENDLY))
        (exists (?AGENT_FRIENDLY)
            (and
                (located ?AGENT_FRIENDLY ?NATION_FRIENDLY)
                (partyToAgreement ?AGENT_FRIENDLY ?CAA)
                (not
                    (instance ?AGENT_FRIENDLY MilitaryOrganization))))))
MilitaryProcesses.kif 2276-2295
(=>
    (and
        (instance ?EV Evacuation)
        (agent ?EV ?MIL)
        (instance ?MIL MilitaryOrganization)
        (experiencer ?EV ?P))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?EV))
        (attribute ?P Evacuee)))
MilitaryPersons.kif 133-140
(=>
    (and
        (instance ?ORG MilitaryOrganization)
        (holdsDuring ?T1
            (member ?X ?ORG))
        (instance ?X Human))
    (holdsDuring ?T1
        (attribute ?X MilitaryPerson)))
Mid-level-ontology.kif 20365-20370
(=>
    (instance ?MILITARY MilitaryOrganization)
    (exists (?AREA)
        (and
            (instance ?AREA GeopoliticalArea)
            (militaryOfArea ?MILITARY ?AREA))))
Military.kif 788-793

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


(=>
    (and
        (attribute ?OFFICER ?COR)
        (instance ?COR CommissionedOfficerRank))
    (exists (?MANAGE ?PATIENT)
        (and
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?OFFICER)
            (patient ?MANAGE ?PATIENT)
            (or
                (instance ?PATIENT MilitaryOrganization)
                (attribute ?PATIENT Soldier)))))
Military.kif 286-297
(=>
    (and
        (holdsDuring ?T1
            (attribute ?P Evacuee))
        (instance ?T1 TimeInterval))
    (exists (?EV ?MIL)
        (and
            (instance ?EV Evacuation)
            (agent ?EV ?MIL)
            (instance ?MIL MilitaryOrganization)
            (experiencer ?EV ?P)
            (earlier
                (WhenFn ?EV) ?T1))))
MilitaryPersons.kif 120-131
(=>
    (and
        (instance ?CAA CivilAffairsAgreement)
        (partyToAgreement ?AGENT_MIL_THIS ?CAA)
        (instance ?AGENT_MIL_THIS MilitaryOrganization)
        (militaryOfArea ?AGENT_MIL_THIS ?NATION_THIS)
        (instance ?NATION_THIS Nation)
        (located ?AGENT_MIL_THIS ?NATION_FRIENDLY)
        (instance ?NATION_FRIENDLY Nation))
    (and
        (not
            (equal ?NATION_THIS ?NATION_FRIENDLY))
        (not
            (enemy ?NATION_THIS ?NATION_FRIENDLY))
        (exists (?AGENT_FRIENDLY)
            (and
                (located ?AGENT_FRIENDLY ?NATION_FRIENDLY)
                (partyToAgreement ?AGENT_FRIENDLY ?CAA)
                (not
                    (instance ?AGENT_FRIENDLY MilitaryOrganization))))))
MilitaryProcesses.kif 2276-2295
(=>
    (attribute ?OFFICER MilitaryOfficer)
    (exists (?MANAGE ?PATIENT)
        (and
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?OFFICER)
            (patient ?MANAGE ?PATIENT)
            (or
                (instance ?PATIENT MilitaryOrganization)
                (attribute ?PATIENT Soldier)))))
Mid-level-ontology.kif 16687-16696
(=>
    (holdsDuring ?T1
        (attribute ?X MilitaryPerson))
    (exists (?ORG)
        (and
            (instance ?ORG MilitaryOrganization)
            (holdsDuring ?T1
                (member ?X ?ORG)))))
Mid-level-ontology.kif 20358-20363
(=>
    (instance ?A MilitaryArtifact)
    (hasPurpose ?A
        (exists (?O)
            (and
                (instance ?O MilitaryOrganization)
                (uses ?A ?O)))))
Mid-level-ontology.kif 15449-15455
(=>
    (instance ?CAA CivilAffairsActivity)
    (exists (?AGENT1 ?AGENT2)
        (and
            (agent ?CAA ?AGENT1)
            (agent ?CAA ?AGENT2)
            (not
                (equal ?AGENT1 ?AGENT2))
            (instance ?AGENT1 MilitaryOrganization)
            (not
                (instance ?AGENT2 MilitaryOrganization)))))
MilitaryProcesses.kif 2365-2375
(=>
    (instance ?CAO CivilAffairsOperation)
    (exists (?AGENT1 ?AGENT2)
        (and
            (agent ?CAO ?AGENT1)
            (agent ?CAO ?AGENT2)
            (not
                (equal ?AGENT1 ?AGENT2))
            (instance ?AGENT1 MilitaryOrganization)
            (not
                (instance ?AGENT2 MilitaryOrganization)))))
MilitaryProcesses.kif 2223-2233
(=>
    (instance ?CAO CivilMilitaryOperation)
    (exists (?AGENT1 ?AGENT2)
        (and
            (agent ?CAO ?AGENT1)
            (agent ?CAO ?AGENT2)
            (not
                (equal ?AGENT1 ?AGENT2))
            (instance ?AGENT1 MilitaryOrganization)
            (not
                (instance ?AGENT2 MilitaryOrganization)))))
MilitaryProcesses.kif 2255-2265
(=>
    (instance ?S MilitarySurplus)
    (exists (?A ?B)
        (and
            (instance ?B Buying)
            (patient ?B ?A)
            (not
                (instance ?A MilitaryOrganization))
            (not
                (member ?A MilitaryOrganization)))))
Mid-level-ontology.kif 8130-8139
(=>
    (instance ?V MilitaryVehicle)
    (hasPurpose ?V
        (exists (?O)
            (and
                (instance ?O MilitaryOrganization)
                (uses ?V ?O)))))
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners