| (=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 13588-13593 | |
| (subclass Game Contest) | Merge.kif 12457-12457 | |
| (subclass Game RecreationOrExercise) | Merge.kif 12458-12458 | |
| (subclass Chess Game) | Sports.kif 351-351 | |
| (subclass Darts Game) | Sports.kif 353-353 | |
| (subclass GoGame Game) | Sports.kif 355-355 | |
| (subclass Poker Game) | Sports.kif 357-357 | |
| (subclass Snooker Game) | Sports.kif 359-359 | |
| (subclass Blackjack Game) | Sports.kif 361-361 | |
| (subclass VideoGame Game) | Mid-level-ontology.kif 22084-22084 | |
| (subclass Sport Game) | Merge.kif 12462-12462 |
|
|