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


KB Term:  Term intersection
English Word: 

  Betting

 Sigma KEE - Betting
Betting(betting)
adventure, bet, chance, daily_double, exacta, gamble, gambling, gaming, go_for_broke, hazard, jeopardize, parimutuel, parlay, perfecta, place_bet, play, risk, run_a_risk, stake, superfecta, take_a_chance, take_chances, venture, wager

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


(subclass Betting FinancialTransaction) Merge.kif 12160-12160 Betting is a subclass of financial transaction
(documentation Betting EnglishLanguage "A FinancialTransaction where an instance of CurrencyMeasure is exchanged for the possibility of winning a larger instance of CurrencyMeasure within the context of some sort of Game.") Merge.kif 12161-12164 Betting is a subclass of financial transaction
(externalImage Betting "http://upload.wikimedia.org/wikipedia/commons/0/ 07/ Tokyo_Racecourse_3.jpg") pictureList.kif 5879-5879 Betting is a subclass of financial transaction
(externalImage Betting "http://upload.wikimedia.org/wikipedia/commons/7/ 70/ Ordinary_mahjong.jpg") pictureList.kif 6160-6160 Betting is a subclass of financial transaction
(externalImage Betting "http://upload.wikimedia.org/wikipedia/commons/7/ 78/ Pachinko_parlor_dsc04790.jpg") pictureList.kif 6161-6161 Betting is a subclass of financial transaction
(externalImage Betting "http://upload.wikimedia.org/wikipedia/commons/e/ e8/ The_Cardsharps.jpg") pictureList.kif 6162-6162 Betting is a subclass of financial transaction

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


(termFormat EnglishLanguage Betting "betting") english_format.kif 1503-1503

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


(=>
    (instance ?X Casino)
    (hasPurpose ?X
        (exists (?GAME ?BET)
            (and
                (instance ?GAME Game)
                (located ?GAME ?X)
                (instance ?BET Betting)
                (subProcess ?BET ?GAME)))))		 Hotel.kif 1451-1459 If X is an instance of casino, then X has the purpose there exist Y, Z such that Y is an instance of game, Y is located at X, Z is an instance of betting, and Z is a subprocess of Y
(=>
    (attribute ?X GamblingIndustries)
    (hasPurpose ?X
        (exists (?GAME ?BET)
            (and
                (instance ?GAME Game)
                (agent ?GAME ?X)
                (instance ?BET Betting)
                (destination ?BET ?X)
                (subProcess ?BET ?GAME)))))		 naics.kif 11475-11484 If gambling industries is an attribute of X, then X has the purpose there exist Y, Z such that Y is an instance of game, X is an agent of Y, Z is an instance of betting, Z ends up at X, and Z is a subprocess of Y


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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