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...

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 12459-12460
No TPTP formula. May not be expressible in strict first order. Merge.kif 12457-12457 Game is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Merge.kif 12458-12458 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 12462-12462 Sport is a subclass of game
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22084-22084 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 1628-1628 The number 1 argument of achievement is an instance of game
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1661-1661 The number 1 argument of plays is an instance of game
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1650-1650 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 13658-13670

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16038-16048
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16054-16064
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 11485-11494
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 13588-13593
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13599-13605
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12983-12988
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13640-13645
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1405-1413
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22978-22984


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 is open source software produced by Articulate Software and its partners