| Maneuver(manoeuvre)
| |
| appearance as argument number 1 |
|
|
| (documentation Maneuver ChineseLanguage "这是在 Contest 中的一个有意的举动或出击。在很多的情况 下，Maneuver 是为了赢取 Contest 所实现策略的一部分，但是它也有可能只是整个 Contest 的一种随意 或者是半随意的一部分，例如：棒球比赛中的局。") | chinese_format.kif 3301-3303 | |
| (documentation Maneuver EnglishLanguage "An intentional move or play within a Contest. In many cases, a Maneuver is a realization of part of a strategy for winning the Contest, but it also may be just an arbitrary or semi-arbitrary division of the overarching Contest, e.g. innings in a baseball game.") | Merge.kif 13386-13389 | |
| (externalImage Maneuver "http://upload.wikimedia.org/wikipedia/commons/2/ 25/ Fiji_Cook_Island_rugby.jpg") | pictureList.kif 11395-11395 | |
| (externalImage Maneuver "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Football4.png") | pictureList.kif 10110-10110 | |
| (externalImage Maneuver "http://upload.wikimedia.org/wikipedia/commons/f/ fd/ STS-120_backflip_maneuver.jpg") | pictureList.kif 11396-11396 | |
| (subclass Maneuver IntentionalProcess) | Merge.kif 13385-13385 | Manoeuvre est une sous-classe de processus intentionnel |
| appearance as argument number 2 |
|
|
| (subclass Ambush Maneuver) | Mid-level-ontology.kif 21751-21751 | Ambush est une sous-classe de manoeuvre |
| (subclass Attack Maneuver) | Merge.kif 13398-13398 | Attack est une sous-classe de manoeuvre |
| (subclass BaseballInning Maneuver) | Sports.kif 757-757 | BaseballInning est une sous-classe de manoeuvre |
| (subclass BaseballManeuver Maneuver) | Sports.kif 684-684 | BaseballManeuver est une sous-classe de manoeuvre |
| (subclass Blockade Maneuver) | Mid-level-ontology.kif 21771-21771 | Blockade est une sous-classe de manoeuvre |
| (subclass Catching Maneuver) | Mid-level-ontology.kif 17102-17102 | Catching est une sous-classe de manoeuvre |
| (subclass DefensiveManeuver Maneuver) | Merge.kif 13420-13420 | DefensiveManeuver est une sous-classe de manoeuvre |
| (subclass DirectActionActivity Maneuver) | MilitaryProcesses.kif 390-390 | DirectActionActivity est une sous-classe de manoeuvre |
| (subclass FootballManeuver Maneuver) | Sports.kif 815-815 | FootballManeuver est une sous-classe de manoeuvre |
| (subclass GameShot Maneuver) | Mid-level-ontology.kif 17020-17020 | GameShot est une sous-classe de manoeuvre |
| (subclass GolfManeuver Maneuver) | Sports.kif 938-938 | GolfManeuver est une sous-classe de manoeuvre |
| (subclass MilitaryManeuver Maneuver) | Mid-level-ontology.kif 21797-21797 | MilitaryManeuver est une sous-classe de manoeuvre |
| (termFormat ChineseLanguage Maneuver "竞争招数") | chinese_format.kif 1215-1215 | |
| (termFormat EnglishLanguage Maneuver "maneuver") | english_format.kif 1651-1651 | |
| (termFormat FrenchLanguage Maneuver "manoeuvre") | french_format.kif 893-893 | |
| (termFormat Hindi Maneuver "yuddhaabhinaya") | terms-hindi.txt 426-426 | |
| (termFormat ItalianLanguage Maneuver "Stratagemma") | terms-it.txt 429-429 | |
| (termFormat JapaneseLanguage Maneuver "策略") | japanese_format.kif 2577-2577 | |
| (termFormat PortugueseLanguage Maneuver "Manobra") | portuguese_format.kif 845-845 | |
| (termFormat cb Maneuver "maniobra") | terms-cb.txt 431-431 | |
| (termFormat cz Maneuver "maneuver") | terms-cz.txt 465-465 | |
| (termFormat ro Maneuver "manevrã") | relations-ro.kif 914-914 | |
| (termFormat tg Maneuver "Maneobra") | terms-tg.txt 430-430 |
| antecedent |
|
|
| (=> (and (instance ?MANEUVER Maneuver) (instance ?CONTEST ViolentContest) (subProcess ?MANEUVER ?CONTEST)) (or (instance ?MANEUVER Attack) (instance ?MANEUVER DefensiveManeuver))) |
Merge.kif 13442-13449 | |
| (=> (instance ?MOVE Maneuver) (exists (?CONTEST) (and (instance ?CONTEST Contest) (subProcess ?MOVE ?CONTEST)))) |
Merge.kif 13391-13396 |
| consequent |
|
|
|
|
|