Maneuver(竞争招数) |
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 13432-13435 | |
(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 13431-13431 | 竞争招数 是 有意图过程 的 subclass |
appearance as argument number 2 |
(subclass Ambush Maneuver) | Mid-level-ontology.kif 21803-21803 | 伏击 是 竞争招数 的 subclass |
(subclass Attack Maneuver) | Merge.kif 13444-13444 | 攻击 是 竞争招数 的 subclass |
(subclass BaseballInning Maneuver) | Sports.kif 757-757 | 棒球局 是 竞争招数 的 subclass |
(subclass BaseballManeuver Maneuver) | Sports.kif 684-684 | 棒球演练 是 竞争招数 的 subclass |
(subclass Blockade Maneuver) | Mid-level-ontology.kif 21823-21823 | 封锁 是 竞争招数 的 subclass |
(subclass Catching Maneuver) | Mid-level-ontology.kif 17129-17129 | 捕 是 竞争招数 的 subclass |
(subclass DefensiveManeuver Maneuver) | Merge.kif 13466-13466 | 防守机动 是 竞争招数 的 subclass |
(subclass DirectActionActivity Maneuver) | MilitaryProcesses.kif 390-390 | 直接行动活动 是 竞争招数 的 subclass |
(subclass FootballManeuver Maneuver) | Sports.kif 815-815 | 足球演练 是 竞争招数 的 subclass |
(subclass GameShot Maneuver) | Mid-level-ontology.kif 17047-17047 | 游戏镜头 是 竞争招数 的 subclass |
(subclass GolfManeuver Maneuver) | Sports.kif 938-938 | 高尔夫演习 是 竞争招数 的 subclass |
(subclass MilitaryManeuver Maneuver) | Mid-level-ontology.kif 21849-21849 | 军事演习 是 竞争招数 的 subclass |
(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 13488-13495 | |
(=> (instance ?MOVE Maneuver) (exists (?CONTEST) (and (instance ?CONTEST Contest) (subProcess ?MOVE ?CONTEST)))) |
Merge.kif 13437-13442 |
consequent |