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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Betting

Sigma KEE - Betting
Betting

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 11885-11888
(externalImage Betting "http://upload.wikimedia.org/wikipedia/commons/0/ 07/ Tokyo_Racecourse_3.jpg") pictureList.kif 5880-5880
(externalImage Betting "http://upload.wikimedia.org/wikipedia/commons/7/ 70/ Ordinary_mahjong.jpg") pictureList.kif 6161-6161
(externalImage Betting "http://upload.wikimedia.org/wikipedia/commons/7/ 78/ Pachinko_parlor_dsc04790.jpg") pictureList.kif 6162-6162
(externalImage Betting "http://upload.wikimedia.org/wikipedia/commons/e/ e8/ The_Cardsharps.jpg") pictureList.kif 6163-6163
(subclass Betting FinancialTransaction) Merge.kif 11884-11884

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


(termFormat ChineseLanguage Betting "打赌") chinese_format.kif 1141-1141
(termFormat EnglishLanguage Betting "betting") english_format.kif 1499-1499
(termFormat FrenchLanguage Betting "parier") french_format.kif 819-819
(termFormat Hindi Betting "sharta") terms-hindi.txt 351-351
(termFormat ItalianLanguage Betting "Scommesse") terms-it.txt 354-354
(termFormat JapaneseLanguage Betting "賭け") japanese_format.kif 2503-2503
(termFormat PortugueseLanguage Betting "Aposta") portuguese_format.kif 771-771
(termFormat cb Betting "pamusta") terms-cb.txt 356-356
(termFormat cz Betting "betting") terms-cz.txt 390-390
(termFormat ro Betting "pariu") relations-ro.kif 840-840
(termFormat tg Betting "nagpupusta") terms-tg.txt 355-355

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 11478-11487
(=>
    (instance ?X Casino)
    (hasPurpose ?X
        (exists (?GAME ?BET)
            (and
                (instance ?GAME Game)
                (located ?GAME ?X)
                (instance ?BET Betting)
                (subProcess ?BET ?GAME)))))
Hotel.kif 1440-1448


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