|
|
   GameArtifact
|
|
|
| appearance as argument number 1 |
|
|
| (disjointDecomposition GameArtifact GameBoard GamePiece) | Mid-level-ontology.kif 17004-17004 | 游戏神器 分拆成不相交的 游戏板 和 游戏片 |
| (documentation GameArtifact EnglishLanguage "An Artifact that is designed to be used as an instrument in a Game.") | Mid-level-ontology.kif 17005-17006 | |
| (externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Soccerballplain.gif") | pictureList.kif 8498-8498 | |
| (externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Hockey_puck_2.jpg") | pictureList.kif 9252-9252 | |
| (externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Rugbyball2.jpg") | pictureList.kif 9248-9248 | |
| (externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Wilsonnflfootball.jpg") | pictureList.kif 9249-9249 | |
| (externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ NCAAFootball.jpg") | pictureList.kif 9250-9250 | |
| (externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ d/ d1/ Ball_and_pin.jpg") | pictureList.kif 9251-9251 | |
| (subclass GameArtifact Artifact) | Mid-level-ontology.kif 17003-17003 | 游戏神器 是 人工制品 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass BaseballBase GameArtifact) | Sports.kif 609-609 | 棒球基地 是 游戏神器 的 subclass |
| (subclass BaseballBat GameArtifact) | Sports.kif 637-637 | 棒球棒 是 游戏神器 的 subclass |
| (subclass GameBoard GameArtifact) | Mid-level-ontology.kif 17015-17015 | 游戏板 是 游戏神器 的 subclass |
| (subclass GameGoal GameArtifact) | Mid-level-ontology.kif 17074-17074 | 游戏目标 是 游戏神器 的 subclass |
| (subclass GamePiece GameArtifact) | Mid-level-ontology.kif 17027-17027 | 游戏片 是 游戏神器 的 subclass |
| (subclass PitchersMound GameArtifact) | Sports.kif 658-658 | 投手丘 是 游戏神器 的 subclass |
| (subclass PlayingCard GameArtifact) | Mid-level-ontology.kif 17151-17151 | 纸牌 是 游戏神器 的 subclass |
| (termFormat ChineseLanguage GameArtifact "游戏神器") | domainEnglishFormat.kif 25430-25430 | |
| (termFormat ChineseTraditionalLanguage GameArtifact "遊戲神器") | domainEnglishFormat.kif 25429-25429 | |
| (termFormat EnglishLanguage GameArtifact "game artifact") | domainEnglishFormat.kif 25428-25428 |
| antecedent |
|
|
| (=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 17008-17013 |
|
|
|
