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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(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 22912-22914
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ 2/ 28/ Four_Thunderbird_F-16_display_diamond_formation.jpg") pictureList.kif 11424-11424
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ 6/ 67/ X-31_at_High_Angle.jpg") pictureList.kif 11422-11422
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ USS_Port_Royal_2005_051213-N-9866B-010.jpg") pictureList.kif 11429-11429
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8d/ X-31_in_Banked_Flight_over_Edwards_AFB.jpg") pictureList.kif 11423-11423
(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
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ a/ a6/ US_Army_soldiers_during_maneuver_practice.jpg") pictureList.kif 11428-11428
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ FA-18C_vapor_LEX_and_wingtip_1.jpg") pictureList.kif 11425-11425
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ USS_VOGE_%28FF-1047%29_high_speed_evasive_maneuver.jpg") pictureList.kif 11420-11420
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Valiant_Shield_-_US_Kitty_Hawk_kicks_off_operations.jpg") pictureList.kif 11419-11419
(externalImage MilitaryManeuver "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ 155fire.jpg") pictureList.kif 11427-11427
(subclass MilitaryManeuver Maneuver) Mid-level-ontology.kif 22911-22911 Military maneuver is a subclass of maneuver

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


(termFormat ChineseLanguage MilitaryManeuver "军事演习") domainEnglishFormat.kif 37681-37681
(termFormat ChineseTraditionalLanguage MilitaryManeuver "軍事演習") domainEnglishFormat.kif 37680-37680
(termFormat EnglishLanguage MilitaryManeuver "military maneuver") domainEnglishFormat.kif 37679-37679

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


(=>
    (instance ?M MilitaryManeuver)
    (exists (?B)
        (and
            (instance ?B Battle)
            (subProcess ?M ?B))))
Mid-level-ontology.kif 22916-22921


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