|
|
   GameArtifact
|
|
|
| appearance as argument number 1 |
|
|
| (disjointDecomposition GameArtifact GameBoard GamePiece) | Mid-level-ontology.kif 17004-17004 | GameArtifact e' disjuntamente decomponivel em GameBoard + GamePiece |
| (documentation GameArtifact EnglishLanguage "An Artifact that is designed to be used as an instrument in a Game.") | Mid-level-ontology.kif 17005-17006 | |
| (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 17003-17003 | GameArtifact e' uma sub-classe de Artefato |
| appearance as argument number 2 |
|
|
| (subclass BaseballBase GameArtifact) | Sports.kif 609-609 | BaseballBase e' uma sub-classe de GameArtifact |
| (subclass BaseballBat GameArtifact) | Sports.kif 637-637 | BaseballBat e' uma sub-classe de GameArtifact |
| (subclass GameBoard GameArtifact) | Mid-level-ontology.kif 17015-17015 | GameBoard e' uma sub-classe de GameArtifact |
| (subclass GameGoal GameArtifact) | Mid-level-ontology.kif 17074-17074 | GameGoal e' uma sub-classe de GameArtifact |
| (subclass GamePiece GameArtifact) | Mid-level-ontology.kif 17027-17027 | GamePiece e' uma sub-classe de GameArtifact |
| (subclass PitchersMound GameArtifact) | Sports.kif 658-658 | PitchersMound e' uma sub-classe de GameArtifact |
| (subclass PlayingCard GameArtifact) | Mid-level-ontology.kif 17151-17151 | PlayingCard e' uma sub-classe de 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 17008-17013 |
|
|
|
