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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Game
Game(game)Black_Maria, Chicago, Chinese_checkers, Chinese_chequers, Go_Fish, Isthmian_Games, Mah-Jongg, Michigan, Monopoly, Napoleon, Nemean_Games, Newmarket, Parcheesi, Russian_bank, Scrabble, all_fours, anagrams, ante, auction, auction_bridge, auction_pitch, baccarat, back, backgammon, bagatelle, banking_game, bar_billiards, basket_rummy, beano, beggar-my-neighbor, beggar-my-neighbour, bet_on, bezique, billiards, bingo, blindman's_bluff, blindman's_buff, bluff, bluff_out, board_game, bolivia, boodle, break, bridge, bridge_whist, bully_off, canasta, canfield, card_game, cards...

VerbNet: risk-94|punt, risk-94|punt, force-59|bluff, force-59|bluff, run-51.3.2|carom, meet-36.3|play, risk-94|punt, meet-36.3|play, risk-94|punt, risk-94|punt, meet-36.3|play,


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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17741-17741
No TPTP formula. May not be expressible in strict first order. Merge.kif 17739-17740
No TPTP formula. May not be expressible in strict first order. Merge.kif 17737-17737 Game is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Merge.kif 17738-17738 Game is a subclass of recreation or exercise

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 361-361 Blackjack is a subclass of game
No TPTP formula. May not be expressible in strict first order. Sports.kif 351-351 Chess is a subclass of game
No TPTP formula. May not be expressible in strict first order. Sports.kif 353-353 Darts is a subclass of game
No TPTP formula. May not be expressible in strict first order. Sports.kif 355-355 GoGame is a subclass of game
No TPTP formula. May not be expressible in strict first order. Sports.kif 357-357 Poker is a subclass of game
No TPTP formula. May not be expressible in strict first order. Sports.kif 359-359 Snooker is a subclass of game
No TPTP formula. May not be expressible in strict first order. Merge.kif 17743-17743 Sport is a subclass of game
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23789-23789 Video game is a subclass of game
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1212-1212 "游戏" is the printable form of game in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 2345-2345 "game" is the printable form of game in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 2346-2346 "ゲーム" is the printable form of game in japanese language

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1550-1550 The number 1 argument of achievement is an instance of game
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1583-1583 The number 1 argument of plays is an instance of game
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1572-1572 The number 1 argument of referee is an instance of game

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14605-14617

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17279-17289
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17295-17305
No TPTP formula. May not be expressible in strict first order. Sports.kif 410-419
No TPTP formula. May not be expressible in strict first order. naics.kif 11403-11412
No TPTP formula. May not be expressible in strict first order. Sports.kif 427-437
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14537-14542
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14548-14553
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13928-13933
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14587-14592
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1387-1395
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24916-24922


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