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 13374-13375
No TPTP formula. May not be expressible in strict first order. Merge.kif 13372-13372 Game is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Merge.kif 13373-13373 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 475-475 Blackjack is a subclass of game
No TPTP formula. May not be expressible in strict first order. Sports.kif 465-465 Chess is a subclass of game
No TPTP formula. May not be expressible in strict first order. Sports.kif 467-467 Darts is a subclass of game
No TPTP formula. May not be expressible in strict first order. Sports.kif 469-469 Go game is a subclass of game
No TPTP formula. May not be expressible in strict first order. Sports.kif 471-471 Poker is a subclass of game
No TPTP formula. May not be expressible in strict first order. Sports.kif 473-473 Snooker is a subclass of game
No TPTP formula. May not be expressible in strict first order. Merge.kif 13377-13377 Sport is a subclass of game
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25870-25870 Videogame 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 1641-1641
No TPTP formula. May not be expressible in strict first order. french_format.kif 890-890
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 423-423
No TPTP formula. May not be expressible in strict first order. terms-it.txt 426-426
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2574-2574
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 842-842
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 428-428
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 462-462
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 911-911
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 427-427

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1659-1659 The number 1 argument of achievement is an instance of game
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1692-1692 The number 1 argument of plays is an instance of game
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1681-1681 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 17051-17063

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19499-19509
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19515-19525
No TPTP formula. May not be expressible in strict first order. Sports.kif 524-533
No TPTP formula. May not be expressible in strict first order. naics.kif 11478-11487
No TPTP formula. May not be expressible in strict first order. Sports.kif 541-551
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16981-16986
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16992-16998
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16281-16286
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17033-17038
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1440-1448
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26784-26790


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