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


KB Term:  Term intersection
English Word: 

Sigma KEE - GameBoard
GameBoard(game board)
Pimlico, chess_board, chessboard

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


(subclass GameBoard GameArtifact) Mid-level-ontology.kif 18606-18606 Game board is a subclass of game artifact
(documentation GameBoard EnglishLanguage "A GameArtifact which is intended to be used as the game area for playing a particular game.") Mid-level-ontology.kif 18607-18608 Game board is a subclass of game artifact
(externalImage GameBoard "http://articulatesoftware.com/SUMOpictures/toys/ game_board.png") pictureList.kif 456-456 Game board is a subclass of game artifact

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


(disjointDecomposition GameArtifact GameBoard GamePiece) Mid-level-ontology.kif 18595-18595 Game artifact is disjointly decomposed into game board and game piece
(termFormat EnglishLanguage GameBoard "game board") domainEnglishFormat.kif 25444-25444 Game artifact is disjointly decomposed into game board and game piece
(termFormat ChineseTraditionalLanguage GameBoard "遊戲板") domainEnglishFormat.kif 25445-25445 Game artifact is disjointly decomposed into game board and game piece
(termFormat ChineseLanguage GameBoard "游戏板") domainEnglishFormat.kif 25446-25446 Game artifact is disjointly decomposed into game board and game piece

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


(=>
    (instance ?BOARD GameBoard)
    (hasPurpose ?BOARD
        (exists (?GAME)
            (and
                (instance ?GAME Game)
                (eventLocated ?GAME ?BOARD)))))		 Mid-level-ontology.kif 18610-18616 If X is an instance of game board, then X has the purpose there exists Y such that Y is an instance of game and Y is located at X


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners