Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GameArtifact
GameArtifact(game artifact)
more pictures...
Churchill_Downs, billiard_table, box, corner_pocket, game, game_artifact, 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
-------------------------


(disjointDecomposition GameArtifact GameBoard GamePiece) Mid-level-ontology.kif 14532-14532 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 14533-14534
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Soccerballplain.gif") pictureList.kif 8501-8501 "http://upload.wikimedia.org/wikipedia/commons/3/30/ Soccerballplain.gif" is a URL depicting game artifact
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Hockey_puck_2.jpg") pictureList.kif 9257-9257 "http://upload.wikimedia.org/wikipedia/commons/3/34/ Hockey_puck_2.jpg" is a URL depicting game artifact
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Rugbyball2.jpg") pictureList.kif 9253-9253 "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Rugbyball2.jpg" is a URL depicting game artifact
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Wilsonnflfootball.jpg") pictureList.kif 9254-9254 "http://upload.wikimedia.org/wikipedia/commons/8/84/ Wilsonnflfootball.jpg" is a URL depicting game artifact
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ NCAAFootball.jpg") pictureList.kif 9255-9255 "http://upload.wikimedia.org/wikipedia/commons/8/8b/ NCAAFootball.jpg" is a URL depicting game artifact
(externalImage GameArtifact "http://upload.wikimedia.org/wikipedia/commons/ d/ d1/ Ball_and_pin.jpg") pictureList.kif 9256-9256 "http://upload.wikimedia.org/wikipedia/commons/d/d1/ Ball_and_pin.jpg" is a URL depicting game artifact
(subclass GameArtifact Artifact) Mid-level-ontology.kif 14531-14531 Game artifact is a subclass of artifact

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


(subclass BaseballBase GameArtifact) Sports.kif 495-495 Baseball base is a subclass of game artifact
(subclass BaseballBat GameArtifact) Sports.kif 523-523 Baseball bat is a subclass of game artifact
(subclass GameBoard GameArtifact) Mid-level-ontology.kif 14543-14543 Game board is a subclass of game artifact
(subclass GameGoal GameArtifact) Mid-level-ontology.kif 14600-14600 Game goal is a subclass of game artifact
(subclass GamePiece GameArtifact) Mid-level-ontology.kif 14554-14554 Game piece is a subclass of game artifact
(subclass PitchersMound GameArtifact) Sports.kif 544-544 Pitchers mound is a subclass of game artifact
(subclass PlayingCard GameArtifact) Mid-level-ontology.kif 14708-14708 Playing card is a subclass of game artifact
(termFormat ChineseLanguage GameArtifact "游戏神器") domainEnglishFormat.kif 25363-25363 "游戏神器" is the printable form of game artifact in ChineseLanguage
(termFormat ChineseTraditionalLanguage GameArtifact "遊戲神器") domainEnglishFormat.kif 25362-25362 "遊戲神器" is the printable form of game artifact in ChineseTraditionalLanguage
(termFormat EnglishLanguage GameArtifact "game artifact") domainEnglishFormat.kif 25361-25361 "game artifact" is the printable form of game artifact in english language

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


(=>
    (instance ?ARTIFACT GameArtifact)
    (exists (?GAME)
        (and
            (subclass ?GAME Game)
            (capability ?GAME instrument ?ARTIFACT))))
Mid-level-ontology.kif 14536-14541


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners