MilitaryForce
|
|
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 16657-16660 | |
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ Terrakotta_2006_3.jpg") | pictureList.kif 7334-7334 | |
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 2/ 24/ Prince_Rupert_-_1st_English_Civil_War.jpg") | pictureList.kif 7335-7335 | |
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2e/ USAF_F-15C_fires_AIM-7_Sparrow.jpg") | pictureList.kif 7336-7336 | |
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ C-1Transport_aircraft02.jpg") | pictureList.kif 7337-7337 | |
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Warriorsofarmenia.jpg") | pictureList.kif 7338-7338 | |
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Praetorian_GuardSoldiers_basrelief_med.jpg") | pictureList.kif 7339-7339 | |
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ a/ a0/ Richard_II_meets_rebels.jpg") | pictureList.kif 7340-7340 | |
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Statue-Augustus.jpg") | pictureList.kif 7341-7341 | |
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Macedonian_battle_formation.gif") | pictureList.kif 6701-6701 | |
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/en/b/ b2/ Nazi_poster_Nederlanders.jpg") | pictureList.kif 7342-7342 | |
(subclass MilitaryForce PoliticalOrganization) | Merge.kif 16656-16656 | MilitaryForce e' uma sub-classe de Organizacao Politica |
appearance as argument number 2 |
(subclass AmphibiousReconnaissanceUnit MilitaryForce) | MilitaryProcesses.kif 792-792 | AmphibiousReconnaissanceUnit e' uma sub-classe de MilitaryForce |
(subclass CivilAffairs MilitaryForce) | MilitaryProcesses.kif 2340-2340 | CivilAffairs e' uma sub-classe de MilitaryForce |
(subclass MilitaryOrganization MilitaryForce) | Merge.kif 16666-16666 | MilitaryOrganization e' uma sub-classe de MilitaryForce |
(subclass ParamilitaryOrganization MilitaryForce) | Merge.kif 16672-16672 | ParamilitaryOrganization e' uma sub-classe de MilitaryForce |
(termFormat ChineseLanguage MilitaryForce "军事力量") | domainEnglishFormat.kif 37625-37625 | |
(termFormat ChineseTraditionalLanguage MilitaryForce "軍事力量") | domainEnglishFormat.kif 37624-37624 | |
(termFormat EnglishLanguage MilitaryForce "military force") | domainEnglishFormat.kif 37623-37623 |
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 16662-16664 |
|
consequent |