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 17075-17076 | |
(subclass GameGoal GameArtifact) | Mid-level-ontology.kif 17074-17074 | GameGoal e' uma sub-classe de GameArtifact |
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 17078-17090 |
|