Sigma KB Term Intersection

(=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT))))	Mid-level-ontology.kif 16980-16985	オブジェクトは GameArtifact の instance では %n 工程工程はゲームの subclass では %n オブジェクトは工程を instrument として行う capable では %n
(subclass GameArtifact Artifact)	Mid-level-ontology.kif 16975-16975	GameArtifact はアーチファクトの subclass では %n
(subclass BaseballBase GameArtifact)	Sports.kif 609-609	BaseballBase は GameArtifact の subclass では %n
(subclass BaseballBat GameArtifact)	Sports.kif 637-637	BaseballBat は GameArtifact の subclass では %n
(subclass PitchersMound GameArtifact)	Sports.kif 658-658	PitchersMound は GameArtifact の subclass では %n
(subclass GameBoard GameArtifact)	Mid-level-ontology.kif 16987-16987	GameBoard は GameArtifact の subclass では %n
(subclass GamePiece GameArtifact)	Mid-level-ontology.kif 16999-16999	GamePiece は GameArtifact の subclass では %n
(subclass GameGoal GameArtifact)	Mid-level-ontology.kif 17046-17046	GameGoal は GameArtifact の subclass では %n
(subclass PlayingCard GameArtifact)	Mid-level-ontology.kif 17123-17123	PlayingCard は GameArtifact の subclass では %n