Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Blockade
Blockade(blockade)
blockade, encirclement

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


(subclass Blockade Maneuver) Mid-level-ontology.kif 24064-24064 Blockade is a subclass of maneuver
(documentation Blockade EnglishLanguage "Any Maneuver in a Contest where one contestParticipant attempts to deny access to something that is wanted by another contestParticipant.") Mid-level-ontology.kif 24065-24067 Blockade is a subclass of maneuver
(externalImage Blockade "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Anaconda_Plan.jpg") pictureList.kif 5885-5885 Blockade is a subclass of maneuver

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


(termFormat EnglishLanguage Blockade "blockade") domainEnglishFormat.kif 11351-11351
(termFormat ChineseTraditionalLanguage Blockade "封鎖") domainEnglishFormat.kif 11352-11352
(termFormat ChineseLanguage Blockade "封锁") domainEnglishFormat.kif 11353-11353

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


(=>
    (and
        (instance ?B Blockade)
        (instance ?C Contest)
        (subProcess ?B ?C)
        (contestParticipant ?C ?A1)
        (agent ?B ?A1))
    (exists (?C1 ?A2)
        (and
            (prevents ?C1 Translocation)
            (instance ?B ?C1)
            (contestParticipant ?C ?A2)
            (not
                (equal ?A1 ?A2))
            (desires ?A2
                (exists (?I)
                    (and
                        (instance ?I ?C1)
                        (agent ?I ?A1)
                        (subProcess ?I ?C)))))))		 Mid-level-ontology.kif 24069-24088 If X is an instance of blockade, Y is an instance of contest, X is a subprocess of Y, Z participates in Y, and Z is an agent of X, then All of the following hold: (1) there exist W (2) V such that W prevents the occurrence of translocation (3) X is an instance of W (4) V participates in Y (5) equal Z (6) V (7) V desires there exists U such that U is an instance of W (8) Z is an agent of U (9) U is a subprocess of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners