|
|
   WaterParkTicket
|
|
|
| appearance as argument number 1 |
|
|
| (documentation WaterParkTicket EnglishLanguage "WaterParkTicket is a type of Ticket that gains a person entry to a WaterThemePark") | naics.kif 11445-11446 | |
| (subclass WaterParkTicket Ticket) | naics.kif 11444-11444 | WaterParkTicket è una sottoclasse di Ticket |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WaterParkTicket "water park ticket") | naics.kif 11447-11447 |
| antecedent |
|
|
| (=> (instance ?T WaterParkTicket) (exists (?ORG) (and (attribute ?ORG WaterThemePark) (issuedBy ?T ?ORG)))) |
naics.kif 11449-11454 |
|
|
|