Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ShuttleService(shuttle) |  | shuttle |
| appearance as argument number 1 |
|
|
| (subclass ShuttleService TransportationService) | Hotel.kif 2047-2047 | Shuttle is a subclass of transportation service |
| (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 2048-2050 | Shuttle is a subclass of transportation service |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ShuttleService "shuttle") | Hotel.kif 2051-2051 | |
| (subclass AirportShuttleService ShuttleService) | Hotel.kif 2084-2084 | Airport shuttle is a subclass of shuttle |
| 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 2053-2071 | If X is an instance of shuttle, then All of the following hold: (1) there exist Y, Z (2) W such that W is an agent of X (3) W possesses Z (4) Z is an instance of automobile (5) Y is an instance of list (6) V V is a member of YV is an instance of postal place (7) there exists U such that U is an instance of transportation (8) W is an agent of U (9) Z is an instrument for U (10) U ends up at V |
| (=> (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 2073-2082 | If X is an instance of shuttle, then All of the following hold: (1) the statement there exist Y (2) Z such that Y is an instance of group of people (3) Z is an instance of group of people (4) Y is a patient of X (5) Z is a patient of X (6) equal Y (7) Z has the modal force of possibility |
|