Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Maneuver

Sigma KEE - Maneuver
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 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 子類 Maneuver and IntentionalProcess

appearance as argument number 2
-------------------------


(subclass Ambush Maneuver) Mid-level-ontology.kif 21751-21751 子類 伏擊 and Maneuver
(subclass Attack Maneuver) Merge.kif 13398-13398 子類 攻擊 and Maneuver
(subclass BaseballInning Maneuver) Sports.kif 757-757 子類 棒球局 and Maneuver
(subclass BaseballManeuver Maneuver) Sports.kif 684-684 子類 棒球演練 and Maneuver
(subclass Blockade Maneuver) Mid-level-ontology.kif 21771-21771 子類 封鎖 and Maneuver
(subclass Catching Maneuver) Mid-level-ontology.kif 17102-17102 子類 and Maneuver
(subclass DefensiveManeuver Maneuver) Merge.kif 13420-13420 子類 防守機動 and Maneuver
(subclass DirectActionActivity Maneuver) MilitaryProcesses.kif 390-390 子類 直接行動活動 and Maneuver
(subclass FootballManeuver Maneuver) Sports.kif 815-815 子類 足球演練 and Maneuver
(subclass GameShot Maneuver) Mid-level-ontology.kif 17020-17020 子類 遊戲鏡頭 and Maneuver
(subclass GolfManeuver Maneuver) Sports.kif 938-938 子類 高爾夫演習 and Maneuver
(subclass MilitaryManeuver Maneuver) Mid-level-ontology.kif 21797-21797 子類 軍事演習 and 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 13442-13449
(=>
    (instance ?MOVE Maneuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (subProcess ?MOVE ?CONTEST))))
Merge.kif 13391-13396

consequent
-------------------------


(=>
    (and
        (instance ?SP SportsPlay)
        (realization ?P ?SP))
    (exists (?S)
        (and
            (instance ?S TeamSport)
            (instance ?P Maneuver)
            (subProcess ?P ?S))))
Mid-level-ontology.kif 16643-16651
(=>
    (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 25888-25903


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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