| 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 17266-17267 | |
| (subclass GameGoal GameArtifact) | Mid-level-ontology.kif 17265-17265 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage GameGoal "游戏目标") | domainEnglishFormat.kif 25489-25489 | |
| (termFormat ChineseTraditionalLanguage GameGoal "遊戲目標") | domainEnglishFormat.kif 25488-25488 | |
| (termFormat EnglishLanguage GameGoal "game goal") | domainEnglishFormat.kif 25487-25487 |
| 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 17269-17281 |
|
|
|