| ShuttleService | |
| appearance as argument number 1 |
|
|
| (documentation ShuttleService EnglishLanguage "ShuttleService refers to how an agent that possesses some kind of Automobile takes people between an origin location to some predefined locations") | Hotel.kif 1992-1994 | |
| (subclass ShuttleService TransportationService) | Hotel.kif 1991-1991 |
| appearance as argument number 2 |
|
|
| (subclass AirportShuttleService ShuttleService) | Hotel.kif 2028-2028 | |
| (termFormat EnglishLanguage ShuttleService "shuttle") | Hotel.kif 1995-1995 |
| antecedent |
|
|
| (=> (instance ?SVC ShuttleService) (exists (?LIST ?VEHICLE ?AGENT) (and (agent ?SVC ?AGENT) (possesses ?AGENT ?VEHICLE) (instance ?VEHICLE Automobile) (instance ?LIST List) (forall (?X) (=> (inList ?X ?LIST) (and (instance ?X PostalPlace) (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (agent ?TRANSPORT ?AGENT) (instrument ?TRANSPORT ?VEHICLE) (destination ?TRANSPORT ?X))))))))) |
Hotel.kif 1997-2015 | |
| (=> (instance ?SVC ShuttleService) (modalAttribute (exists (?GRP1 ?GRP2) (and (instance ?GRP1 GroupOfPeople) (instance ?GRP2 GroupOfPeople) (patient ?SVC ?GRP1) (patient ?SVC ?GRP2) (not (equal ?GRP1 ?GRP2)))) Possibility)) |
Hotel.kif 2017-2026 |
|
|
|