IntelligenceActivities - Sigma Knowledge base Browser

appearance as argument number 1

(subclass IntelligenceActivities UnconventionalWarfare)	MilitaryProcesses.kif 230-230	Intelligence activities is a subclass of unconventional warfare
(subclass IntelligenceActivities Judging)	MilitaryProcesses.kif 231-231	Intelligence activities is a subclass of judging
(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	Intelligence activities is a subclass of judging

appearance as argument number 2

(termFormat EnglishLanguage IntelligenceActivities "intelligence activity")	MilitaryProcesses.kif 2941-2941
(termFormat EnglishLanguage IntelligenceActivities "intelligence activities")	domainEnglishFormat.kif 30369-30369
(termFormat ChineseTraditionalLanguage IntelligenceActivities "情報活動")	domainEnglishFormat.kif 30370-30370
(termFormat ChineseLanguage IntelligenceActivities "情报活动")	domainEnglishFormat.kif 30371-30371

consequent

(=>
    (attribute ?H IntelligenceOfficer)
    (hasPurpose ?H
        (exists (?I)
            (and
                (instance ?I IntelligenceActivities)
                (agent ?I ?H)))))

If intelligence officer is an attribute of X, then X has the purpose there exists Y such that Y is an instance of intelligence activities and X is an agent of Y