Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  keyName

 Sigma KEE - GameArtifact
GameArtifact(game artifact)
more pictures...		Churchill_Downs, billiard_table, box, corner_pocket, game, paddle, ping-pong_table, pingpong_paddle, pingpong_table, pool_table, side_pocket, snooker_table, sumo_ring, table-tennis_bat, table-tennis_racquet, table-tennis_table, tennis_racket, tennis_racquet, volleyball_net, wrestling_mat

appearance as argument number 1
-------------------------


(subclass GameArtifact Artifact) Mid-level-ontology.kif 18594-18594 Game artifact is a subclass of artifact
(disjointDecomposition GameArtifact GameBoard GamePiece) Mid-level-ontology.kif 18595-18595 Game artifact is disjointly decomposed into game board and game piece
(documentation GameArtifact EnglishLanguage "An Artifact that is designed to be used as an instrument in a Game.") Mid-level-ontology.kif 18596-18597 Game artifact is disjointly decomposed into game board and game piece
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Soccerballplain.gif") pictureList.kif 8497-8497 Game artifact is disjointly decomposed into game board and game piece
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Rugbyball2.jpg") pictureList.kif 9247-9247 Game artifact is disjointly decomposed into game board and game piece
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Wilsonnflfootball.jpg") pictureList.kif 9248-9248 Game artifact is disjointly decomposed into game board and game piece
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ NCAAFootball.jpg") pictureList.kif 9249-9249 Game artifact is disjointly decomposed into game board and game piece
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ d/ d1/ Ball_and_pin.jpg") pictureList.kif 9250-9250 Game artifact is disjointly decomposed into game board and game piece
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Hockey_puck_2.jpg") pictureList.kif 9251-9251 Game artifact is disjointly decomposed into game board and game piece

appearance as argument number 2
-------------------------


(subclass GameBoard GameArtifact) Mid-level-ontology.kif 18606-18606 Game board is a subclass of game artifact
(subclass GamePiece GameArtifact) Mid-level-ontology.kif 18618-18618 Game piece is a subclass of game artifact
(subclass GameGoal GameArtifact) Mid-level-ontology.kif 18665-18665 Game goal is a subclass of game artifact
(subclass PlayingCard GameArtifact) Mid-level-ontology.kif 18742-18742 Playing card is a subclass of game artifact
(subclass BaseballBase GameArtifact) Sports.kif 635-635 Baseball base is a subclass of game artifact
(subclass BaseballBat GameArtifact) Sports.kif 663-663 Baseball bat is a subclass of game artifact
(subclass PitchersMound GameArtifact) Sports.kif 684-684 Pitchers mound is a subclass of game artifact
(termFormat EnglishLanguage GameArtifact "game artifact") domainEnglishFormat.kif 25432-25432 Pitchers mound is a subclass of game artifact
(termFormat ChineseTraditionalLanguage GameArtifact "遊戲神器") domainEnglishFormat.kif 25433-25433 Pitchers mound is a subclass of game artifact
(termFormat ChineseLanguage GameArtifact "游戏神器") domainEnglishFormat.kif 25434-25434 Pitchers mound is a subclass of game artifact

antecedent
-------------------------


(=>
    (instance ?ARTIFACT GameArtifact)
    (exists (?GAME)
        (and
            (subclass ?GAME Game)
            (capability ?GAME instrument ?ARTIFACT))))		 Mid-level-ontology.kif 18599-18604 If X is an instance of game artifact, then there exists Y such that Y is a subclass of game and X is capable of doing Y as a instrument


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners