IntelligenceActivities(intelligence activities) |
appearance as argument number 1 |
(documentation IntelligenceActivities EnglishLanguage "These activities assess areas of interest ranging from political and military personalities to the military capabilities of friendly and adversary forces. SOF perform intelligence activities ranging from developing information critical to planning and conducting operations, to assessing the capabilities and intentions of indigenous and coalition forces.") | MilitaryProcesses.kif 232-237 | |
(subclass IntelligenceActivities Judging) | MilitaryProcesses.kif 231-231 | Intelligence activities is a subclass of judging |
(subclass IntelligenceActivities UnconventionalWarfare) | MilitaryProcesses.kif 230-230 | Intelligence activities is a subclass of unconventional warfare |
appearance as argument number 2 |
(termFormat ChineseLanguage IntelligenceActivities "情报活动") | domainEnglishFormat.kif 30401-30401 | |
(termFormat ChineseTraditionalLanguage IntelligenceActivities "情報活動") | domainEnglishFormat.kif 30400-30400 | |
(termFormat EnglishLanguage IntelligenceActivities "intelligence activities") | domainEnglishFormat.kif 30399-30399 | |
(termFormat EnglishLanguage IntelligenceActivities "intelligence activity") | MilitaryProcesses.kif 2917-2917 |
consequent |
(=> (attribute ?H IntelligenceOfficer) (hasPurpose ?H (exists (?I) (and (instance ?I IntelligenceActivities) (agent ?I ?H))))) |
MilitaryPersons.kif 771-777 |
|