| (=> (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 | |
| (subclass BaseballBase GameArtifact) | Sports.kif 621-621 | |
| (subclass BaseballBat GameArtifact) | Sports.kif 649-649 | |
| (subclass PitchersMound GameArtifact) | Sports.kif 670-670 | |
| (subclass GameBoard GameArtifact) | Mid-level-ontology.kif 18375-18375 | |
| (subclass GamePiece GameArtifact) | Mid-level-ontology.kif 18387-18387 | |
| (subclass GameGoal GameArtifact) | Mid-level-ontology.kif 18434-18434 | |
| (subclass PlayingCard GameArtifact) | Mid-level-ontology.kif 18511-18511 |
|
|