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


KB Term:  Term intersection
English Word: 

  MilitaryManeuver

 Sigma KEE - MilitaryManeuver
MilitaryManeuver(military maneuver)
more pictures...		blockade, maneuver, manoeuver, manoeuvre, operate

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


(subclass MilitaryManeuver Maneuver) Mid-level-ontology.kif 24090-24090 Military maneuver is a subclass of maneuver
(documentation MilitaryManeuver EnglishLanguage "Any Maneuver which takes place in a Battle and which is intended to secure a tactical advantage for one of the agents of the Battle.") Mid-level-ontology.kif 24091-24093 Military maneuver is a subclass of maneuver
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Valiant_Shield_-_US_Kitty_Hawk_kicks_off_operations.jpg") pictureList.kif 11419-11419 Military maneuver is a subclass of maneuver
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ USS_VOGE_%28FF-1047%29_high_speed_evasive_maneuver.jpg") pictureList.kif 11420-11420 Military maneuver is a subclass of maneuver
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Emergency_breakaway_maneuver_by_USS_Winston_S._Churchill_%28DDG_81%29.jpg") pictureList.kif 11421-11421 Military maneuver is a subclass of maneuver
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ 6/ 67/ X-31_at_High_Angle.jpg") pictureList.kif 11422-11422 Military maneuver is a subclass of maneuver
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8d/ X-31_in_Banked_Flight_over_Edwards_AFB.jpg") pictureList.kif 11423-11423 Military maneuver is a subclass of maneuver
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ 2/ 28/ Four_Thunderbird_F-16_display_diamond_formation.jpg") pictureList.kif 11424-11424 Military maneuver is a subclass of maneuver
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ FA-18C_vapor_LEX_and_wingtip_1.jpg") pictureList.kif 11425-11425 Military maneuver is a subclass of maneuver
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ 155fire.jpg") pictureList.kif 11427-11427 Military maneuver is a subclass of maneuver
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ a/ a6/ US_Army_soldiers_during_maneuver_practice.jpg") pictureList.kif 11428-11428 Military maneuver is a subclass of maneuver
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ USS_Port_Royal_2005_051213-N-9866B-010.jpg") pictureList.kif 11429-11429 Military maneuver is a subclass of maneuver

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


(termFormat EnglishLanguage MilitaryManeuver "military maneuver") domainEnglishFormat.kif 37655-37655
(termFormat ChineseTraditionalLanguage MilitaryManeuver "軍事演習") domainEnglishFormat.kif 37656-37656
(termFormat ChineseLanguage MilitaryManeuver "军事演习") domainEnglishFormat.kif 37657-37657

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


(=>
    (instance ?M MilitaryManeuver)
    (exists (?B)
        (and
            (instance ?B Battle)
            (subProcess ?M ?B))))		 Mid-level-ontology.kif 24095-24100 If X is an instance of military maneuver, then there exists Y such that Y is an instance of battle and X is a subprocess of Y


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