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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Betting
Betting

VerbNet: risk-94|venture, rely-70|take_a_chance, rely-70|take_a_chance, risk-94|venture, risk-94|venture, rely-70|take_a_chance, rely-70|take_a_chance, risk-94|venture, rely-70|take_a_chance, rely-70|take_a_chance, risk-94|venture,


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


(documentation Betting ChineseLanguage "这是一种 FinancialTransaction,它出现在某种 Game 的情况下,当一种 CurrencyMeasure 的实例,用来交换可以赢到更大笔 CurrencyMeasure 实例的可能性。") chinese_format.kif 3105-3106
(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 11073-11076
(externalImage Betting "http://upload.wikimedia.org/wikipedia/commons/0/ 07/ Tokyo_Racecourse_3.jpg") pictureList.kif 5881-5881
(externalImage Betting "http://upload.wikimedia.org/wikipedia/commons/7/ 70/ Ordinary_mahjong.jpg") pictureList.kif 6162-6162
(externalImage Betting "http://upload.wikimedia.org/wikipedia/commons/7/ 78/ Pachinko_parlor_dsc04790.jpg") pictureList.kif 6163-6163
(externalImage Betting "http://upload.wikimedia.org/wikipedia/commons/e/ e8/ The_Cardsharps.jpg") pictureList.kif 6164-6164
(subclass Betting FinancialTransaction) Merge.kif 11072-11072

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


(termFormat ChineseLanguage Betting "打赌") chinese_format.kif 1141-1141
(termFormat EnglishLanguage Betting "betting") english_format.kif 1504-1504

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


(=>
    (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 11401-11410
(=>
    (instance ?X Casino)
    (hasPurpose ?X
        (exists (?GAME ?BET)
            (and
                (instance ?GAME Game)
                (located ?GAME ?X)
                (instance ?BET Betting)
                (subProcess ?BET ?GAME)))))
Hotel.kif 1391-1399


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