| GameGoal | |
| 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 | GameGoal est une sous-classe de GameArtifact |
| 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 |
|
|
|
|