Maneuver(yuddhaabhinaya)![]() ![]() ![]() | ![]() |
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 13525-13528 | |
(externalImage Maneuver "http://upload.wikimedia.org/wikipedia/commons/2/ 25/ Fiji_Cook_Island_rugby.jpg") | pictureList.kif 11388-11388 | |
(externalImage Maneuver "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Football4.png") | pictureList.kif 10108-10108 | |
(externalImage Maneuver "http://upload.wikimedia.org/wikipedia/commons/f/ fd/ STS-120_backflip_maneuver.jpg") | pictureList.kif 11389-11389 | |
(subclass Maneuver IntentionalProcess) | Merge.kif 13524-13524 |
appearance as argument number 2 |
![]() |
(subclass Ambush Maneuver) | Mid-level-ontology.kif 23410-23410 | |
(subclass Attack Maneuver) | Merge.kif 13537-13537 | |
(subclass BaseballInning Maneuver) | Sports.kif 769-769 | |
(subclass BaseballManeuver Maneuver) | Sports.kif 696-696 | |
(subclass Blockade Maneuver) | Mid-level-ontology.kif 23430-23430 | |
(subclass Catching Maneuver) | Mid-level-ontology.kif 18509-18509 | |
(subclass DefensiveManeuver Maneuver) | Merge.kif 13559-13559 | |
(subclass DirectActionActivity Maneuver) | MilitaryProcesses.kif 390-390 | |
(subclass FootballManeuver Maneuver) | Sports.kif 827-827 | |
(subclass GameShot Maneuver) | Mid-level-ontology.kif 18427-18427 | |
(subclass GolfManeuver Maneuver) | Sports.kif 950-950 | |
(subclass MilitaryManeuver Maneuver) | Mid-level-ontology.kif 23456-23456 | |
(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 de Maneuver "Manoever") | terms-de.txt 724-724 | |
(termFormat ro Maneuver "manevrã") | relations-ro.kif 914-914 | |
(termFormat tg Maneuver "Maneobra") | terms-tg.txt 430-430 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
(=> (and (instance ?MANEUVER Maneuver) (instance ?CONTEST ViolentContest) (subProcess ?MANEUVER ?CONTEST)) (or (instance ?MANEUVER Attack) (instance ?MANEUVER DefensiveManeuver))) |
Merge.kif 13581-13588 | |
(=> (instance ?MOVE Maneuver) (exists (?CONTEST) (and (instance ?CONTEST Contest) (subProcess ?MOVE ?CONTEST)))) |
Merge.kif 13530-13535 |
consequent |
![]() |
(=> (and (instance ?SP SportsPlay) (realization ?P ?SP)) (exists (?S) (and (instance ?S TeamSport) (instance ?P Maneuver) (subProcess ?P ?S)))) |
Mid-level-ontology.kif 18050-18058 | |
(=> (instance ?X VideoGamePlayer) (hasPurpose ?X (exists (?GAME ?RL ?MOVE ?CONTROLLER ?PLAYER) (and (instance ?GAME VideoGame) (instrument ?GAME ?X) (agent ?GAME ?PLAYER) (instance ?MOVE Maneuver) (instrument ?MOVE ?CONTROLLER) (agent ?MOVE ?PLAYER) (subProcess ?MOVE ?GAME) (part ?CONTROLLER ?X) (instance ?RL RadiatingLight) (agent ?RL ?X) (patient ?RL ?GAME))))) |
Mid-level-ontology.kif 27545-27560 |
![]() |
![]() |