Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Casino
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Casino StationaryArtifact) | Hotel.kif 1447-1447 | Casino is a subclass of stationary artifact |
| (documentation Casino EnglishLanguage "Casino is a type of StationaryArtifact that has the purpose of housing gambling activities") | Hotel.kif 1448-1449 | Casino is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Casino "casino") | domainEnglishFormat.kif 64601-64601 |
| antecedent |
|
|
| (=> (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 |
| (=> (and (attribute ?X TravelerAccommodation) (element ?CASINO (PropertyFn ?X)) (instance ?CASINO Casino)) (attribute ?X CasinoHotels)) |
Hotel.kif 1463-1468 | If traveler accommodation is an attribute of X, Y is an element of belongings of X, and Y is an instance of casino, then casino hotels is an attribute of X |
|