![]() |
![]() ![]() ![]()
|
![]() |
|
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 17048-17049 | |
(subclass GameGoal GameArtifact) | Mid-level-ontology.kif 17047-17047 | 子類 遊戲目標 and 遊戲神器 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage GameGoal "游戏目标") | domainEnglishFormat.kif 25460-25460 | |
(termFormat ChineseTraditionalLanguage GameGoal "遊戲目標") | domainEnglishFormat.kif 25459-25459 | |
(termFormat EnglishLanguage GameGoal "game goal") | domainEnglishFormat.kif 25458-25458 |
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 17051-17063 |
![]() |
![]() |