Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WaterThemePark(water theme park) |
| appearance as argument number 1 |
|
| (subAttribute WaterThemePark AmusementAndThemeParks) | naics.kif 11428-11428 | Water theme park is a subattribute of amusement and theme parks |
| (documentation WaterThemePark EnglishLanguage "WaterThemePark is an AmusementAndThemeParks that features waterplay areas, such as water slides, splash pads, spraygrounds, and swimming pools") | naics.kif 11429-11431 | Water theme park is a subattribute of amusement and theme parks |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WaterThemePark "water theme park") | naics.kif 11432-11432 |
| antecedent |
|
|
| (=> (attribute ?X WaterThemePark) (exists (?POOL) (and (instance ?POOL SwimmingPool) (element ?POOL (PropertyFn ?X))))) |
naics.kif 11434-11439 | If water theme park is an attribute of X, then there exists Y such that Y is an instance of swimming pool and Y is an element of belongings of X |
| consequent |
|
|
| (=> (instance ?T WaterParkTicket) (exists (?ORG) (and (attribute ?ORG WaterThemePark) (issuedBy ?T ?ORG)))) |
naics.kif 11446-11451 | If X is an instance of water park ticket, then there exists Y such that water theme park is an attribute of Y and Y is an issued by of X |
|