| (=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 16981-16986 | |
| (subclass Game Contest) | Merge.kif 13372-13372 | ゲーム は コンテスト の subclass では %n |
| (subclass Game RecreationOrExercise) | Merge.kif 13373-13373 | ゲーム は レクリエーションまたは運動 の subclass では %n |
| (subclass Chess Game) | Sports.kif 465-465 | Chess は ゲーム の subclass では %n |
| (subclass Darts Game) | Sports.kif 467-467 | Darts は ゲーム の subclass では %n |
| (subclass GoGame Game) | Sports.kif 469-469 | GoGame は ゲーム の subclass では %n |
| (subclass Poker Game) | Sports.kif 471-471 | Poker は ゲーム の subclass では %n |
| (subclass Snooker Game) | Sports.kif 473-473 | Snooker は ゲーム の subclass では %n |
| (subclass Blackjack Game) | Sports.kif 475-475 | Blackjack は ゲーム の subclass では %n |
| (subclass VideoGame Game) | Mid-level-ontology.kif 25870-25870 | VideoGame は ゲーム の subclass では %n |
| (subclass Sport Game) | Merge.kif 13377-13377 | スポーツ は ゲーム の subclass では %n |
|
|