GameArtifact - Sigma Knowledge base Browser

appearance as argument number 1

(disjointDecomposition GameArtifact GameBoard GamePiece)	Mid-level-ontology.kif 16977-16977	GameArtifact wird zusammenhanglos auf GameBoard und GamePiece disjunkt
(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 ist eine teilkategorie von Artifact

appearance as argument number 2

(subclass BaseballBase GameArtifact)	Sports.kif 609-609	BaseballBase ist eine teilkategorie von GameArtifact
(subclass BaseballBat GameArtifact)	Sports.kif 637-637	BaseballBat ist eine teilkategorie von GameArtifact
(subclass GameBoard GameArtifact)	Mid-level-ontology.kif 16988-16988	GameBoard ist eine teilkategorie von GameArtifact
(subclass GameGoal GameArtifact)	Mid-level-ontology.kif 17047-17047	GameGoal ist eine teilkategorie von GameArtifact
(subclass GamePiece GameArtifact)	Mid-level-ontology.kif 17000-17000	GamePiece ist eine teilkategorie von GameArtifact
(subclass PitchersMound GameArtifact)	Sports.kif 658-658	PitchersMound ist eine teilkategorie von GameArtifact
(subclass PlayingCard GameArtifact)	Mid-level-ontology.kif 17124-17124	PlayingCard ist eine teilkategorie von GameArtifact
(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

Wenn Object ist ein fall von GameArtifact %n{nicht},
dann es gibt ** Process um ** Process ist eine teilkategorie von Game und ** Object ist faehig %n{nicht}, in der Rolle instrument ** ** Process zu tun