GameArtifact![]() ![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(disjointDecomposition GameArtifact GameBoard GamePiece) | Mid-level-ontology.kif 18364-18364 | |
(documentation GameArtifact EnglishLanguage "An Artifact that is designed to be used as an instrument in a Game.") | Mid-level-ontology.kif 18365-18366 | |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Soccerballplain.gif") | pictureList.kif 8497-8497 | |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Hockey_puck_2.jpg") | pictureList.kif 9251-9251 | |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Rugbyball2.jpg") | pictureList.kif 9247-9247 | |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Wilsonnflfootball.jpg") | pictureList.kif 9248-9248 | |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ NCAAFootball.jpg") | pictureList.kif 9249-9249 | |
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ d/ d1/ Ball_and_pin.jpg") | pictureList.kif 9250-9250 | |
(subclass GameArtifact Artifact) | Mid-level-ontology.kif 18363-18363 |
appearance as argument number 2 |
![]() |
(subclass BaseballBase GameArtifact) | Sports.kif 621-621 | |
(subclass BaseballBat GameArtifact) | Sports.kif 649-649 | |
(subclass GameBoard GameArtifact) | Mid-level-ontology.kif 18375-18375 | |
(subclass GameGoal GameArtifact) | Mid-level-ontology.kif 18434-18434 | |
(subclass GamePiece GameArtifact) | Mid-level-ontology.kif 18387-18387 | |
(subclass PitchersMound GameArtifact) | Sports.kif 670-670 | |
(subclass PlayingCard GameArtifact) | Mid-level-ontology.kif 18511-18511 | |
(termFormat ChineseLanguage GameArtifact "游戏神器") | domainEnglishFormat.kif 25441-25441 | |
(termFormat ChineseTraditionalLanguage GameArtifact "遊戲神器") | domainEnglishFormat.kif 25440-25440 | |
(termFormat EnglishLanguage GameArtifact "game artifact") | domainEnglishFormat.kif 25439-25439 |
antecedent |
![]() |
(=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 18368-18373 |
![]() |
![]() |