Maneuver - Sigma Knowledge base Browser

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	Maneuver is a subclass of intentional process

appearance as argument number 2

(subclass Ambush Maneuver)	Mid-level-ontology.kif 21803-21803	Ambush is a subclass of maneuver
(subclass Attack Maneuver)	Merge.kif 13444-13444	Attack is a subclass of maneuver
(subclass BaseballInning Maneuver)	Sports.kif 757-757	Baseball inning is a subclass of maneuver
(subclass BaseballManeuver Maneuver)	Sports.kif 684-684	Baseball maneuver is a subclass of maneuver
(subclass Blockade Maneuver)	Mid-level-ontology.kif 21823-21823	Blockade is a subclass of maneuver
(subclass Catching Maneuver)	Mid-level-ontology.kif 17129-17129	Catching is a subclass of maneuver
(subclass DefensiveManeuver Maneuver)	Merge.kif 13466-13466	Defensive maneuver is a subclass of maneuver
(subclass DirectActionActivity Maneuver)	MilitaryProcesses.kif 390-390	Direct action activity is a subclass of maneuver
(subclass FootballManeuver Maneuver)	Sports.kif 815-815	Football maneuver is a subclass of maneuver
(subclass GameShot Maneuver)	Mid-level-ontology.kif 17047-17047	Game shot is a subclass of maneuver
(subclass GolfManeuver Maneuver)	Sports.kif 938-938	Golf maneuver is a subclass of maneuver
(subclass MilitaryManeuver Maneuver)	Mid-level-ontology.kif 21849-21849	Military maneuver is a subclass of maneuver
(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	If a process is an instance of maneuver and another process is an instance of violent contest and the process is a subprocess of the other process, then the process is an instance of attack or the process is an instance of defensive maneuver
(=> (instance ?MOVE Maneuver) (exists (?CONTEST) (and (instance ?CONTEST Contest) (subProcess ?MOVE ?CONTEST))))	Merge.kif 13437-13442	If a process is an instance of maneuver, then there exists another process such that the other process is an instance of contest and the process is a subprocess of the other process

consequent

(=> (and (instance ?SP SportsPlay) (realization ?P ?SP)) (exists (?S) (and (instance ?S TeamSport) (instance ?P Maneuver) (subProcess ?P ?S))))	Mid-level-ontology.kif 16670-16678	If a proposition is an instance of sports play and a process expresses the content of the proposition, then there exists another process such that the other process is an instance of team sport and the process is an instance of maneuver and the process is a subprocess of the other process
(=> (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 25921-25936	If a physical is an instance of video game player, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of videogame and the physical is an instrument for the entity and the fifth entity is an agent of the entity and the third entity is an instance of maneuver and the fourth entity is an instrument for the third entity and the fifth entity is an agent of the third entity and the third entity is a subprocess of the entity and the fourth entity is a part of the physical and the other entity is an instance of radiating light and the physical is an agent of the other entity and the entity is a patient of the other entity

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

KB Term:			Term intersection

English Word: