| (=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 13588-13593 | |
| (subclass GameArtifact Artifact) | Mid-level-ontology.kif 13583-13583 | |
| (subclass BaseballBase GameArtifact) | Sports.kif 495-495 | |
| (subclass BaseballBat GameArtifact) | Sports.kif 523-523 | |
| (subclass PitchersMound GameArtifact) | Sports.kif 544-544 | |
| (subclass GameBoard GameArtifact) | Mid-level-ontology.kif 13595-13595 | |
| (subclass GamePiece GameArtifact) | Mid-level-ontology.kif 13607-13607 | |
| (subclass GameGoal GameArtifact) | Mid-level-ontology.kif 13654-13654 | |
| (subclass PlayingCard GameArtifact) | Mid-level-ontology.kif 13731-13731 |
|
|