Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GamblingIndustries(gambling industries) |
| appearance as argument number 1 |
|
| (subAttribute GamblingIndustries AmusementGamblingAndRecreationIndustries) | naics.kif 11474-11474 | Gambling industries is a subattribute of amusement gambling and recreation industries |
| (documentation GamblingIndustries EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Gambling Industries.") | naics.kif 11486-11488 | Gambling industries is a subattribute of amusement gambling and recreation industries |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 11475-11484 | If gambling industries is an attribute of X, then X has the purpose there exist Y, Z such that Y is an instance of game, X is an agent of Y, Z is an instance of betting, Z ends up at X, and Z is a subprocess of Y |
|