GameArtifact - Sigma Knowledge base Browser

appearance as argument number 1

(disjointDecomposition GameArtifact GameBoard GamePiece)	Mid-level-ontology.kif 16977-16977	GameArtifact は GameBoard + GamePiece に disjointly decomposed %n
(documentation GameArtifact EnglishLanguage "An Artifact that is designed to be used as an instrument in a Game.")	Mid-level-ontology.kif 16978-16979
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Soccerballplain.gif")	pictureList.kif 8498-8498
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Hockey_puck_2.jpg")	pictureList.kif 9252-9252
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Rugbyball2.jpg")	pictureList.kif 9248-9248
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Wilsonnflfootball.jpg")	pictureList.kif 9249-9249
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ NCAAFootball.jpg")	pictureList.kif 9250-9250
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ d/ d1/ Ball_and_pin.jpg")	pictureList.kif 9251-9251
(subclass GameArtifact Artifact)	Mid-level-ontology.kif 16976-16976	GameArtifact はアーチファクトの subclass では %n

appearance as argument number 2

(subclass BaseballBase GameArtifact)	Sports.kif 609-609	BaseballBase は GameArtifact の subclass では %n
(subclass BaseballBat GameArtifact)	Sports.kif 637-637	BaseballBat は GameArtifact の subclass では %n
(subclass GameBoard GameArtifact)	Mid-level-ontology.kif 16988-16988	GameBoard は GameArtifact の subclass では %n
(subclass GameGoal GameArtifact)	Mid-level-ontology.kif 17047-17047	GameGoal は GameArtifact の subclass では %n
(subclass GamePiece GameArtifact)	Mid-level-ontology.kif 17000-17000	GamePiece は GameArtifact の subclass では %n
(subclass PitchersMound GameArtifact)	Sports.kif 658-658	PitchersMound は GameArtifact の subclass では %n
(subclass PlayingCard GameArtifact)	Mid-level-ontology.kif 17124-17124	PlayingCard は GameArtifact の subclass では %n
(termFormat ChineseLanguage GameArtifact "游戏神器")	domainEnglishFormat.kif 25430-25430
(termFormat ChineseTraditionalLanguage GameArtifact "遊戲神器")	domainEnglishFormat.kif 25429-25429
(termFormat EnglishLanguage GameArtifact "game artifact")	domainEnglishFormat.kif 25428-25428

antecedent

(=>
    (instance ?ARTIFACT GameArtifact)
    (exists (?GAME)
        (and
            (subclass ?GAME Game)
            (capability ?GAME instrument ?ARTIFACT))))

Mid-level-ontology.kif 16981-16986