| GamePiece(游戏片) | |
| appearance as argument number 1 |
|
|
| (documentation GamePiece EnglishLanguage "A GameArtifact that is moved around in a game area.") | Mid-level-ontology.kif 16444-16445 | |
| (subclass GamePiece GameArtifact) | Mid-level-ontology.kif 16443-16443 | 游戏片 是 游戏神器 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Ball GamePiece) | Mid-level-ontology.kif 16451-16451 | 球 是 游戏片 的 subclass |
| (subclass FootBall GamePiece) | Sports.kif 275-275 | FootBall 是 游戏片 的 subclass |
| (subclass GameDie GamePiece) | Mid-level-ontology.kif 16447-16447 | 游戏死了 是 游戏片 的 subclass |
| (subclass RugbyBall GamePiece) | Sports.kif 272-272 | RugbyBall 是 游戏片 的 subclass |
| (termFormat ChineseLanguage GamePiece "游戏片") | domainEnglishFormat.kif 25461-25461 | |
| (termFormat ChineseTraditionalLanguage GamePiece "遊戲片") | domainEnglishFormat.kif 25460-25460 | |
| (termFormat EnglishLanguage GamePiece "game piece") | domainEnglishFormat.kif 25459-25459 |
| appearance as argument number 3 |
|
|
| (disjointDecomposition GameArtifact GameBoard GamePiece) | Mid-level-ontology.kif 16420-16420 | 游戏神器 分拆成不相交的 游戏板 和 游戏片 |
| 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 16494-16506 |
|
| (=> (instance ?SHOT GameShot) (exists (?PIECE) (and (instance ?PIECE GamePiece) (patient ?SHOT ?PIECE)))) |
Mid-level-ontology.kif 16469-16474 |
|
|
|