GameArtifact - Sigma Knowledge base Browser

appearance as argument number 1

(disjointDecomposition GameArtifact GameBoard GamePiece)	Mid-level-ontology.kif 14532-14532
(documentation GameArtifact EnglishLanguage "An Artifact that is designed to be used as an instrument in a Game.")	Mid-level-ontology.kif 14533-14534
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Soccerballplain.gif")	pictureList.kif 8501-8501
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Hockey_puck_2.jpg")	pictureList.kif 9257-9257
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Rugbyball2.jpg")	pictureList.kif 9253-9253
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Wilsonnflfootball.jpg")	pictureList.kif 9254-9254
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ NCAAFootball.jpg")	pictureList.kif 9255-9255
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ d/ d1/ Ball_and_pin.jpg")	pictureList.kif 9256-9256
(subclass GameArtifact Artifact)	Mid-level-ontology.kif 14531-14531

appearance as argument number 2

(subclass BaseballBase GameArtifact)	Sports.kif 495-495
(subclass BaseballBat GameArtifact)	Sports.kif 523-523
(subclass GameBoard GameArtifact)	Mid-level-ontology.kif 14543-14543
(subclass GameGoal GameArtifact)	Mid-level-ontology.kif 14600-14600
(subclass GamePiece GameArtifact)	Mid-level-ontology.kif 14554-14554
(subclass PitchersMound GameArtifact)	Sports.kif 544-544
(subclass PlayingCard GameArtifact)	Mid-level-ontology.kif 14708-14708
(termFormat EnglishLanguage GameArtifact "game artifact")	domainEnglishFormat.kif 4660-4660

antecedent

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

Mid-level-ontology.kif 14536-14541