Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| 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 |
|