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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilitaryOrganization

Sigma KEE - MilitaryOrganization
MilitaryOrganization

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


(documentation MilitaryOrganization ChineseLanguage "这是任何属于 Government 一部分全副 武装的 Organization,它的使命是在国际纷争中代表 Government 出面。") chinese_format.kif 3731-3732
(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 15994-15996
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 15993-15993
(subclass MilitaryOrganization MilitaryForce) Merge.kif 15992-15992

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


(instance JointChiefsOfStaff MilitaryOrganization) MilitaryProcesses.kif 904-904
(instance JointStaff MilitaryOrganization) MilitaryProcesses.kif 884-884
(instance USMilitary MilitaryOrganization) MilitaryProcesses.kif 950-950
(subclass AirForce-BranchOfService MilitaryOrganization) Military.kif 798-798
(subclass ExternalAgency MilitaryOrganization) MilitaryProcesses.kif 879-879
(subclass JointForces MilitaryOrganization) MilitaryProcesses.kif 1704-1704
(subclass Marines-BranchOfService MilitaryOrganization) Military.kif 808-808
(subclass MilitaryReserveForce MilitaryOrganization) Mid-level-ontology.kif 7948-7948
(subclass MilitaryService MilitaryOrganization) Mid-level-ontology.kif 7916-7916
(subclass MilitaryUnit MilitaryOrganization) Mid-level-ontology.kif 7933-7933
(subclass NavalAirForce-BranchOfService MilitaryOrganization) Military.kif 813-813
(subclass Navy-BranchOfService MilitaryOrganization) Military.kif 816-816
(subclass PeaceKeepingMission MilitaryOrganization) Mid-level-ontology.kif 21604-21604
(subclass SpecialOperationsForces MilitaryOrganization) MilitaryProcesses.kif 299-299
(termFormat ChineseLanguage MilitaryOrganization "军事组织") domainEnglishFormat.kif 37668-37668
(termFormat ChineseTraditionalLanguage MilitaryOrganization "軍事組織") domainEnglishFormat.kif 37667-37667
(termFormat EnglishLanguage MilitaryOrganization "military organization") domainEnglishFormat.kif 37666-37666

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


(domain militaryOfArea 1 MilitaryOrganization) Military.kif 825-825

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 2289-2308
(=>
    (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 21593-21598
(=>
    (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 2289-2308
(=>
    (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 18036-18045
(=>
    (holdsDuring ?T1
        (attribute ?X MilitaryPerson))
    (exists (?ORG)
        (and
            (instance ?ORG MilitaryOrganization)
            (holdsDuring ?T1
                (member ?X ?ORG)))))
Mid-level-ontology.kif 21586-21591
(=>
    (instance ?A MilitaryArtifact)
    (hasPurpose ?A
        (exists (?O)
            (and
                (instance ?O MilitaryOrganization)
                (uses ?A ?O)))))
Mid-level-ontology.kif 16906-16912
(=>
    (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 2378-2388
(=>
    (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 2236-2246
(=>
    (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 2268-2278
(=>
    (instance ?S MilitarySurplus)
    (exists (?A ?B)
        (and
            (instance ?B Buying)
            (patient ?B ?A)
            (objectTransferred ?B ?S)
            (not
                (instance ?A MilitaryOrganization))
            (not
                (member ?A MilitaryOrganization)))))
Mid-level-ontology.kif 7985-7995
(=>
    (instance ?V MilitaryVehicle)
    (hasPurpose ?V
        (exists (?O)
            (and
                (instance ?O MilitaryOrganization)
                (uses ?V ?O)))))
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