| (=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 17008-17013 | |
| (subclass GameArtifact Artifact) | Mid-level-ontology.kif 17003-17003 | GameArtifact est une sous-classe de artefact |
| (subclass BaseballBase GameArtifact) | Sports.kif 609-609 | BaseballBase est une sous-classe de GameArtifact |
| (subclass BaseballBat GameArtifact) | Sports.kif 637-637 | BaseballBat est une sous-classe de GameArtifact |
| (subclass PitchersMound GameArtifact) | Sports.kif 658-658 | PitchersMound est une sous-classe de GameArtifact |
| (subclass GameBoard GameArtifact) | Mid-level-ontology.kif 17015-17015 | GameBoard est une sous-classe de GameArtifact |
| (subclass GamePiece GameArtifact) | Mid-level-ontology.kif 17027-17027 | GamePiece est une sous-classe de GameArtifact |
| (subclass GameGoal GameArtifact) | Mid-level-ontology.kif 17074-17074 | GameGoal est une sous-classe de GameArtifact |
| (subclass PlayingCard GameArtifact) | Mid-level-ontology.kif 17151-17151 | PlayingCard est une sous-classe de GameArtifact |
|
|