|
|
   Casino
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Casino EnglishLanguage "Casino is a type of StationaryArtifact that has the purpose of housing gambling activities") | Hotel.kif 1437-1438 | |
| (subclass Casino StationaryArtifact) | Hotel.kif 1436-1436 | Casino e' uma sub-classe de Artefato Estacionario |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Casino "casino") | domainEnglishFormat.kif 64600-64600 |
| antecedent |
|
|
| (=> (and (attribute ?X TravelerAccommodation) (element ?CASINO (PropertyFn ?X)) (instance ?CASINO Casino)) (attribute ?X CasinoHotels)) |
Hotel.kif 1452-1457 |
|
| (=> (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 |
|
|
|