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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 12471-12474
(externalImage Maneuver "http://upload.wikimedia.org/wikipedia/commons/2/ 25/ Fiji_Cook_Island_rugby.jpg") pictureList.kif 11422-11422
(externalImage Maneuver "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Football4.png") pictureList.kif 10130-10130
(externalImage Maneuver "http://upload.wikimedia.org/wikipedia/commons/f/ fd/ STS-120_backflip_maneuver.jpg") pictureList.kif 11423-11423
(subclass Maneuver IntentionalProcess) Merge.kif 12470-12470

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


(subclass Ambush Maneuver) Mid-level-ontology.kif 19580-19580
(subclass Attack Maneuver) Merge.kif 12483-12483
(subclass BaseballInning Maneuver) Sports.kif 643-643
(subclass BaseballManeuver Maneuver) Sports.kif 570-570
(subclass Blockade Maneuver) Mid-level-ontology.kif 19600-19600
(subclass Catching Maneuver) Mid-level-ontology.kif 14683-14683
(subclass DefensiveManeuver Maneuver) Merge.kif 12505-12505
(subclass DirectActionActivity Maneuver) MilitaryProcesses.kif 390-390
(subclass FootballManeuver Maneuver) Sports.kif 666-666
(subclass GameShot Maneuver) Mid-level-ontology.kif 14601-14601
(subclass GolfManeuver Maneuver) Sports.kif 789-789
(subclass MilitaryManeuver Maneuver) Mid-level-ontology.kif 19626-19626
(termFormat ChineseLanguage Maneuver "竞争招数") chinese_format.kif 1215-1215
(termFormat EnglishLanguage Maneuver "maneuver") english_format.kif 1656-1656

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


(=>
    (and
        (instance ?MANEUVER Maneuver)
        (instance ?CONTEST ViolentContest)
        (subProcess ?MANEUVER ?CONTEST))
    (or
        (instance ?MANEUVER Attack)
        (instance ?MANEUVER DefensiveManeuver)))
Merge.kif 12527-12534
(=>
    (instance ?MOVE Maneuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (subProcess ?MOVE ?CONTEST))))
Merge.kif 12476-12481

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


(=>
    (and
        (instance ?SP SportsPlay)
        (realization ?P ?SP))
    (exists (?S)
        (and
            (instance ?S TeamSport)
            (instance ?P Maneuver)
            (subProcess ?P ?S))))
Mid-level-ontology.kif 14271-14279
(=>
    (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 23849-23864


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