| (=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 18368-18373 | |
| (subclass Game Contest) | Merge.kif 13526-13526 | Jeu est une sous-classe de affrontement |
| (subclass Game RecreationOrExercise) | Merge.kif 13527-13527 | Jeu est une sous-classe de r�cr�ation ou exercice |
| (subclass Chess Game) | Sports.kif 477-477 | Chess est une sous-classe de jeu |
| (subclass Darts Game) | Sports.kif 479-479 | Darts est une sous-classe de jeu |
| (subclass GoGame Game) | Sports.kif 481-481 | GoGame est une sous-classe de jeu |
| (subclass Poker Game) | Sports.kif 483-483 | Poker est une sous-classe de jeu |
| (subclass Snooker Game) | Sports.kif 485-485 | Snooker est une sous-classe de jeu |
| (subclass Blackjack Game) | Sports.kif 487-487 | Blackjack est une sous-classe de jeu |
| (subclass VideoGame Game) | Mid-level-ontology.kif 27768-27768 | VideoGame est une sous-classe de jeu |
| (subclass Sport Game) | Merge.kif 13531-13531 | Sport est une sous-classe de jeu |
|
|