(=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 16981-16986 | |
(subclass GameArtifact Artifact) | Mid-level-ontology.kif 16976-16976 | |
(subclass BaseballBase GameArtifact) | Sports.kif 609-609 | |
(subclass BaseballBat GameArtifact) | Sports.kif 637-637 | |
(subclass PitchersMound GameArtifact) | Sports.kif 658-658 | |
(subclass GameBoard GameArtifact) | Mid-level-ontology.kif 16988-16988 | |
(subclass GamePiece GameArtifact) | Mid-level-ontology.kif 17000-17000 | |
(subclass GameGoal GameArtifact) | Mid-level-ontology.kif 17047-17047 | |
(subclass PlayingCard GameArtifact) | Mid-level-ontology.kif 17124-17124 |