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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntelligenceActivities
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 IntelligenceActivities est une sous-classe de Judging
(subclass IntelligenceActivities UnconventionalWarfare) MilitaryProcesses.kif 230-230 IntelligenceActivities est une sous-classe de UnconventionalWarfare

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 2727-2727

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