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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DefensiveInformationOperation

Sigma KEE - DefensiveInformationOperation
DefensiveInformationOperation

appearance as argument number 1
-------------------------


(documentation DefensiveInformationOperation EnglishLanguage "The integration and coordination of policies and procedures, operations, personnel, and technology to protect and defend information and information systems. Defensive information operations are conducted through information assurance, physical security, operations security, counter-deception, counter-psychological operations, counterintelligence, electronic warfare, and special information operations. Defensive information operations ensure timely, accurate, and relevant information access while denying adversaries the opportunity to exploit friendly information and information systems for their own purposes. See also counterintelligence, electronic warfare, information assurance, information operations, information system, offensive information operations, operations security; physical security, special information operations.") MilitaryProcesses.kif 1827-1840
(subclass DefensiveInformationOperation InformationOperation) MilitaryProcesses.kif 1825-1825

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage DefensiveInformationOperation "defensive information operation") domainEnglishFormat.kif 3571-3571

antecedent
-------------------------


(=>
    (and
        (instance ?DIO DefensiveInformationOperation)
        (agent ?DIO ?AGENT)
        (enemy ?AGENT ?ENEMY)
        (desires ?ENEMY
            (knows ?ENEMY ?FORMULA))
        (desires ?AGENT
            (not
                (knows ?ENEMY ?FORMULA))))
    (hasPurpose ?DIO
        (not
            (knows ?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1844-1856


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners