| (=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 18368-18373 | |
| (subclass GameArtifact Artifact) | Mid-level-ontology.kif 18363-18363 | GameArtifact est une sous-classe de artefact |
| (subclass BaseballBase GameArtifact) | Sports.kif 621-621 | BaseballBase est une sous-classe de GameArtifact |
| (subclass BaseballBat GameArtifact) | Sports.kif 649-649 | BaseballBat est une sous-classe de GameArtifact |
| (subclass PitchersMound GameArtifact) | Sports.kif 670-670 | PitchersMound est une sous-classe de GameArtifact |
| (subclass GameBoard GameArtifact) | Mid-level-ontology.kif 18375-18375 | GameBoard est une sous-classe de GameArtifact |
| (subclass GamePiece GameArtifact) | Mid-level-ontology.kif 18387-18387 | GamePiece est une sous-classe de GameArtifact |
| (subclass GameGoal GameArtifact) | Mid-level-ontology.kif 18434-18434 | GameGoal est une sous-classe de GameArtifact |
| (subclass PlayingCard GameArtifact) | Mid-level-ontology.kif 18511-18511 | PlayingCard est une sous-classe de GameArtifact |
|
|