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, 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. chinese_format.kif 3297-3297
No TPTP formula. May not be expressible in strict first order. Merge.kif 12407-12408
No TPTP formula. May not be expressible in strict first order. Merge.kif 12405-12405 Game is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Merge.kif 12406-12406 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 12410-12410 Sport is a subclass of game
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23853-23853 Video game is a subclass of game
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1212-1212
No TPTP formula. May not be expressible in strict first order. english_format.kif 1646-1646

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1636-1636 The number 1 argument of achievement is an instance of game
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1669-1669 The number 1 argument of plays is an instance of game
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1658-1658 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 14657-14669

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17332-17342
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17348-17358
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 11401-11410
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 14589-14594
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14600-14605
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13980-13985
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14639-14644
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1391-1399
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24980-24986


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