GameGoal(game goal) | ![]() | goal |
appearance as argument number 1 |
![]() |
(documentation GameGoal EnglishLanguage "The location where a GameShot must end up if it is to constitute a Score.") | Mid-level-ontology.kif 18435-18436 | |
(subclass GameGoal GameArtifact) | Mid-level-ontology.kif 18434-18434 | Game goal is a subclass of game artifact |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage GameGoal "游戏目标") | domainEnglishFormat.kif 25471-25471 | |
(termFormat ChineseTraditionalLanguage GameGoal "遊戲目標") | domainEnglishFormat.kif 25470-25470 | |
(termFormat EnglishLanguage GameGoal "game goal") | domainEnglishFormat.kif 25469-25469 |
antecedent |
![]() |
(=> (and (instance ?GOAL GameGoal) (instrument ?GAME ?GOAL) (instance ?GAME Game) (subProcess ?SCORE ?GAME) (instance ?SCORE Score)) (exists (?PIECE ?TIME) (and (instance ?PIECE GamePiece) (patient ?SCORE ?PIECE) (temporalPart ?TIME (WhenFn ?SCORE)) (holdsDuring ?TIME (located ?PIECE ?GOAL))))) |
Mid-level-ontology.kif 18438-18450 |
|
![]() |
![]() |