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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntelligenceActivities
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


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 3.0 is open source software produced by Articulate Software and its partners