GamePiece
|
|
appearance as argument number 1 |
(documentation GamePiece EnglishLanguage "A GameArtifact that is moved around in a game area.") | Mid-level-ontology.kif 17000-17001 | |
(subclass GamePiece GameArtifact) | Mid-level-ontology.kif 16999-16999 | 游戏片 是 游戏神器 的 subclass |
appearance as argument number 2 |
(subclass Ball GamePiece) | Mid-level-ontology.kif 17007-17007 | 球 是 游戏片 的 subclass |
(subclass Football GamePiece) | Sports.kif 344-344 | 足球 是 游戏片 的 subclass |
(subclass GameDie GamePiece) | Mid-level-ontology.kif 17003-17003 | 游戏死了 是 游戏片 的 subclass |
(subclass RugbyBall GamePiece) | Sports.kif 324-324 | RugbyBall 是 游戏片 的 subclass |
(termFormat ChineseLanguage GamePiece "游戏片") | domainEnglishFormat.kif 25466-25466 | |
(termFormat ChineseTraditionalLanguage GamePiece "遊戲片") | domainEnglishFormat.kif 25465-25465 | |
(termFormat EnglishLanguage GamePiece "game piece") | domainEnglishFormat.kif 25464-25464 |
appearance as argument number 3 |
(disjointDecomposition GameArtifact GameBoard GamePiece) | Mid-level-ontology.kif 16976-16976 | 游戏神器 分拆成不相交的 游戏板 和 游戏片 |
consequent |
(=> (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 17050-17062 |
|
(=> (instance ?SHOT GameShot) (exists (?PIECE) (and (instance ?PIECE GamePiece) (patient ?SHOT ?PIECE)))) |
Mid-level-ontology.kif 17025-17030 |