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


KB Term:  Term intersection
English Word: 

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 12054-12054 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 12055-12058 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 1499-1499

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