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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CounterOperation
CounterOperation(counter operation)
counterinsurgent, counterrevolutionary

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


(documentation CounterOperation EnglishLanguage "All measures to prevent operations from the enemy.") MilitaryProcesses.kif 2151-2152
(externalImage CounterOperation "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ Hms_arethusa_map.png") pictureList.kif 9135-9135
(externalImage CounterOperation "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ FAC.jpg") pictureList.kif 9134-9134
(subclass CounterOperation MilitaryOperation) MilitaryProcesses.kif 2150-2150 Counter operation is a subclass of military operation

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


(subclass CounterReconnaissance CounterOperation) MilitaryProcesses.kif 2167-2167 Counter reconnaissance is a subclass of counter operation
(subclass CounterTerrorism CounterOperation) MilitaryProcesses.kif 1977-1977 Counter terrorism is a subclass of counter operation
(subclass CounterproliferationWMD CounterOperation) MilitaryProcesses.kif 1440-1440 CounterproliferationWM d is a subclass of counter operation
(termFormat ChineseLanguage CounterOperation "反操作") domainEnglishFormat.kif 17473-17473
(termFormat ChineseTraditionalLanguage CounterOperation "反操作") domainEnglishFormat.kif 17472-17472
(termFormat EnglishLanguage CounterOperation "counter operation") domainEnglishFormat.kif 17471-17471

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


(=>
    (and
        (instance ?CO CounterOperation)
        (agent ?CO ?AGENT))
    (exists (?ENEMY ?OP)
        (and
            (enemy ?AGENT ?ENEMY)
            (agent ?OP ?ENEMY)
            (hasPurpose ?CO
                (prevents ?CO ?OP)))))
MilitaryProcesses.kif 2156-2165


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners