GameArtifact![]() ![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(disjointDecomposition GameArtifact GameBoard GamePiece) | Mid-level-ontology.kif 16471-16471 | |
(documentation GameArtifact EnglishLanguage "An Artifact that is designed to be used as an instrument in a Game.") | Mid-level-ontology.kif 16472-16473 | |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Soccerballplain.gif") | pictureList.kif 8499-8499 | |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Hockey_puck_2.jpg") | pictureList.kif 9253-9253 | |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Rugbyball2.jpg") | pictureList.kif 9249-9249 | |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Wilsonnflfootball.jpg") | pictureList.kif 9250-9250 | |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ NCAAFootball.jpg") | pictureList.kif 9251-9251 | |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ d/ d1/ Ball_and_pin.jpg") | pictureList.kif 9252-9252 | |
(subclass GameArtifact Artifact) | Mid-level-ontology.kif 16470-16470 |
appearance as argument number 2 |
![]() |
(subclass BaseballBase GameArtifact) | Sports.kif 540-540 | |
(subclass BaseballBat GameArtifact) | Sports.kif 568-568 | |
(subclass GameBoard GameArtifact) | Mid-level-ontology.kif 16482-16482 | |
(subclass GameGoal GameArtifact) | Mid-level-ontology.kif 16541-16541 | |
(subclass GamePiece GameArtifact) | Mid-level-ontology.kif 16494-16494 | |
(subclass PitchersMound GameArtifact) | Sports.kif 589-589 | |
(subclass PlayingCard GameArtifact) | Mid-level-ontology.kif 16618-16618 | |
(termFormat ChineseLanguage GameArtifact "游戏神器") | domainEnglishFormat.kif 25425-25425 | |
(termFormat ChineseTraditionalLanguage GameArtifact "遊戲神器") | domainEnglishFormat.kif 25424-25424 | |
(termFormat EnglishLanguage GameArtifact "game artifact") | domainEnglishFormat.kif 25423-25423 |
antecedent |
![]() |
(=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 16475-16480 |
![]() |
![]() |