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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Maneuver
Maneuver(maneuver)
Chinaman, aerial, artifice, assist, at-bat, audible, ball_hawking, baseball_play, baseball_swing, basket, bat, batting, bent_hang, blitz, block, blocking, bosie, bosie_ball, bowling, break, cannon, carom, catching, check, checkmate, chess_move, completed, conversion, crosscheck, crucifix, cut, cutting, demarche, device, dip, discovered_check, double, double_dribble, double_leg_circle, double_play, double_reverse, doubling, down, draw, draw_play, dribble, dribbling, earned_run, en_garde, end_run...

appearance as argument number 1
-------------------------


(documentation Maneuver ChineseLanguage "这是在 Contest 中的一个有意的举动或出击。在很多的情况 下,Maneuver 是为了赢取 Contest 所实现策略的一部分,但是它也有可能只是整个 Contest 的一种随意 或者是半随意的一部分,例如:棒球比赛中的局。") Merge.kif 13388-13390
(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 13384-13387
(externalImage Maneuver "http://upload.wikimedia.org/wikipedia/commons/2/ 25/ Fiji_Cook_Island_rugby.jpg") pictureList.kif 11422-11422 "http://upload.wikimedia.org/wikipedia/commons/2/25/ Fiji_Cook_Island_rugby.jpg" is a URL depicting maneuver
(externalImage Maneuver "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Football4.png") pictureList.kif 10130-10130 "http://upload.wikimedia.org/wikipedia/commons/d/d2/ Football4.png" is a URL depicting maneuver
(externalImage Maneuver "http://upload.wikimedia.org/wikipedia/commons/f/ fd/ STS-120_backflip_maneuver.jpg") pictureList.kif 11423-11423 "http://upload.wikimedia.org/wikipedia/commons/f/fd/ STS-120_backflip_maneuver.jpg" is a URL depicting maneuver
(subclass Maneuver IntentionalProcess) Merge.kif 13383-13383 Maneuver is a subclass of intentional process

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


(subclass Ambush Maneuver) Mid-level-ontology.kif 19536-19536 Ambush is a subclass of maneuver
(subclass Attack Maneuver) Merge.kif 13399-13399 Attack is a subclass of maneuver
(subclass BaseballInning Maneuver) Sports.kif 643-643 Baseball inning is a subclass of maneuver
(subclass BaseballManeuver Maneuver) Sports.kif 570-570 Baseball maneuver is a subclass of maneuver
(subclass Blockade Maneuver) Mid-level-ontology.kif 19556-19556 Blockade is a subclass of maneuver
(subclass Catching Maneuver) Mid-level-ontology.kif 14655-14655 Catching is a subclass of maneuver
(subclass DefensiveManeuver Maneuver) Merge.kif 13423-13423 Defensive maneuver is a subclass of maneuver
(subclass DirectActionActivity Maneuver) MilitaryProcesses.kif 381-381 Direct action activity is a subclass of maneuver
(subclass FootballManeuver Maneuver) Sports.kif 666-666 Football maneuver is a subclass of maneuver
(subclass GameShot Maneuver) Mid-level-ontology.kif 14573-14573 Game shot is a subclass of maneuver
(subclass GolfManeuver Maneuver) Sports.kif 787-787 Golf maneuver is a subclass of maneuver
(subclass MilitaryManeuver Maneuver) Mid-level-ontology.kif 19582-19582 Military maneuver is a subclass of maneuver
(termFormat ChineseLanguage Maneuver "竞争招数") chinese_format.kif 1215-1215 "竞争招数" is the printable form of maneuver in ChineseLanguage
(termFormat EnglishLanguage Maneuver "maneuver") english_format.kif 902-902 "maneuver" is the printable form of maneuver in english language

antecedent
-------------------------


(=>
    (and
        (instance ?MANEUVER Maneuver)
        (instance ?CONTEST ViolentContest)
        (subProcess ?MANEUVER ?CONTEST))
    (or
        (instance ?MANEUVER Attack)
        (instance ?MANEUVER DefensiveManeuver)))
Merge.kif 13447-13454
(=>
    (instance ?MOVE Maneuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (subProcess ?MOVE ?CONTEST))))
Merge.kif 13392-13397

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


(=>
    (and
        (instance ?SP SportsPlay)
        (realization ?P ?SP))
    (exists (?S)
        (and
            (instance ?S TeamSport)
            (instance ?P Maneuver)
            (subProcess ?P ?S))))
Mid-level-ontology.kif 14243-14251
(=>
    (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 23805-23820


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners