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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryForce
MilitaryForce(military force)
more pictures...
death_squad

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


(documentation MilitaryForce ChineseLanguage "MilitaryForce 属于 Organization 的子类别, 无论它是否官方的 GovernmentOrganization,它的编制是按照军事防线,并分为属于防御或攻击战斗的。") chinese_format.kif 3729-3730
(documentation MilitaryForce EnglishLanguage "MilitaryForce is the subclass of Organizations that are organized along military lines and for the purpose of either defensive or offensive combat, whether or not the force is an official GovernmentOrganization.") Merge.kif 15457-15460
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ Terrakotta_2006_3.jpg") pictureList.kif 7336-7336
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 2/ 24/ Prince_Rupert_-_1st_English_Civil_War.jpg") pictureList.kif 7337-7337
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2e/ USAF_F-15C_fires_AIM-7_Sparrow.jpg") pictureList.kif 7338-7338
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ C-1Transport_aircraft02.jpg") pictureList.kif 7339-7339
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Warriorsofarmenia.jpg") pictureList.kif 7340-7340
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Praetorian_GuardSoldiers_basrelief_med.jpg") pictureList.kif 7341-7341
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ a/ a0/ Richard_II_meets_rebels.jpg") pictureList.kif 7342-7342
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Statue-Augustus.jpg") pictureList.kif 7343-7343
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Macedonian_battle_formation.gif") pictureList.kif 6702-6702
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/en/b/ b2/ Nazi_poster_Nederlanders.jpg") pictureList.kif 7344-7344
(subclass MilitaryForce PoliticalOrganization) Merge.kif 15456-15456 Military force is a subclass of political organization

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


(subclass AmphibiousReconnaissanceUnit MilitaryForce) MilitaryProcesses.kif 792-792 Amphibious reconnaissance unit is a subclass of military force
(subclass CivilAffairs MilitaryForce) MilitaryProcesses.kif 2320-2320 Civil affairs is a subclass of military force
(subclass MilitaryOrganization MilitaryForce) Merge.kif 15466-15466 Military organization is a subclass of military force
(subclass ParamilitaryOrganization MilitaryForce) Merge.kif 15472-15472 Paramilitary organization is a subclass of military force
(termFormat ChineseLanguage MilitaryForce "军事力量") domainEnglishFormat.kif 37525-37525
(termFormat ChineseTraditionalLanguage MilitaryForce "軍事力量") domainEnglishFormat.kif 37524-37524
(termFormat EnglishLanguage MilitaryForce "military force") domainEnglishFormat.kif 37523-37523

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


(=>
    (and
        (instance ?F MilitaryForce)
        (instance ?P Human)
        (instance ?I Imprisoning)
        (member ?P ?F)
        (agent ?I ?E)
        (patient ?I ?P)
        (enemy ?E ?P)
        (eventLocated ?I ?LOC)
        (attribute ?LOC WarState))
    (attribute ?P PrisonerOfWar))
MilitaryPersons.kif 285-296
(=>
    (instance ?ORG MilitaryForce)
    (capability ViolentContest agent ?ORG))
Merge.kif 15462-15464

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


(=>
    (and
        (instance ?FID ForeignInternalDefense)
        (agent ?FID ?MIL)
        (experiencer ?FID ?HN))
    (hasPurpose ?FID
        (exists (?ORG ?LEARNING)
            (and
                (instance ?LEARNING Learning)
                (experiencer ?LEARNING ?ORG)
                (agent ?LEARNING ?MIL)
                (or
                    (militaryOfArea ?ORG ?HN)
                    (and
                        (instance ?ORG MilitaryForce)
                        (located ?ORG ?HN)))))))
MilitaryProcesses.kif 1941-1956
(=>
    (and
        (instance ?PLANNING OperationPlanning)
        (agent ?PLANNING ?COMMANDER))
    (or
        (and
            (instance ?COMMANDER CombatantCommander)
            (exists (?REQUEST ?CHAIRMAN)
                (and
                    (instance ?REQUEST Requesting)
                    (agent ?REQUEST ?CHAIRMAN)
                    (attribute ?CHAIRMAN ChairmanJCS)
                    (causes ?REQUEST ?PLANNING))))
        (and
            (instance ?COMMANDER SubunifiedCommander)
            (exists (?REQUEST ?COMMANDERSUPER ?MILITARY)
                (and
                    (instance ?REQUEST Requesting)
                    (agent ?REQUEST ?COMMANDERSUPER)
                    (attribute ?COMMANDERSUPER MilitaryCommander)
                    (subordinatePosition ?MILITARY ?COMMANDER ?COMMANDERSUPER)
                    (instance ?MILITARY MilitaryForce)
                    (causes ?REQUEST ?PLANNING))))))
MilitaryProcesses.kif 1563-1585
(=>
    (holdsDuring ?NOW
        (attribute ?P CivilianInternee))
    (not
        (holdsDuring ?NOW
            (instance ?P MilitaryForce))))
MilitaryPersons.kif 321-326
(=>
    (instance ?HN HostNation)
    (exists (?GETTING ?FORCES ?OTHERNATION ?MILITARY)
        (and
            (instance ?OTHERNATION Nation)
            (instance ?MILITARY MilitaryForce)
            (militaryOfArea ?MILITARY ?OTHERNATION)
            (subOrganization ?FORCES ?MILITARY)
            (not
                (equal ?HN ?OTHERNATION))
            (not
                (enemy ?HN ?OTHERNATION))
            (instance ?GETTING Getting)
            (agent ?GETTING ?HN)
            (patient ?GETTING ?FORCES)
            (instance ?FORCES MilitaryForce)
            (located ?FORCES ?HN))))
MilitaryProcesses.kif 1356-1372
(=>
    (instance ?MV MilitaryVehicle)
    (and
        (instance ?A MilitaryForce)
        (possesses ?A ?MV)
        (capability MilitaryProcess patient ?MV)))
Military.kif 197-202
(=>
    (instance ?OP MilitaryProcess)
    (exists (?FORCE)
        (and
            (agent ?OP ?FORCE)
            (instance ?FORCE MilitaryForce))))
MilitaryProcesses.kif 1495-1500
(=>
    (instance ?ORDER OperationOrder)
    (exists (?SUPERIORCOMMANDER ?SUBORDINATECOMMANDER)
        (and
            (agent ?ORDER ?SUPERIORCOMMANDER)
            (origin ?ORDER ?SUPERIORCOMMANDER)
            (destination ?ORDER ?SUBORDINATECOMMANDER)
            (instance ?SUPERIORCOMMANDER MilitaryCommander)
            (instance ?SUBORDINATECOMMANDER MilitaryCommander)
            (subordinatePosition ?MILITARY ?SUBORDINATECOMMANDER ?SUPERIORCOMMANDER)
            (instance ?MILITARY MilitaryForce))))
MilitaryProcesses.kif 1644-1654


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