IntelligenceActivities |
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 | |
(subclass IntelligenceActivities UnconventionalWarfare) | MilitaryProcesses.kif 230-230 |
appearance as argument number 2 |
(termFormat ChineseLanguage IntelligenceActivities "情报活动") | domainEnglishFormat.kif 30367-30367 | |
(termFormat ChineseTraditionalLanguage IntelligenceActivities "情報活動") | domainEnglishFormat.kif 30366-30366 | |
(termFormat EnglishLanguage IntelligenceActivities "intelligence activities") | domainEnglishFormat.kif 30365-30365 | |
(termFormat EnglishLanguage IntelligenceActivities "intelligence activity") | MilitaryProcesses.kif 2778-2778 |
consequent |
(=> (attribute ?H IntelligenceOfficer) (hasPurpose ?H (exists (?I) (and (instance ?I IntelligenceActivities) (agent ?I ?H))))) |
MilitaryPersons.kif 771-777 |