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