Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AirportShuttleService(airport shuttle) |
| appearance as argument number 1 |
|
| (subclass AirportShuttleService ShuttleService) | Hotel.kif 2084-2084 | Airport shuttle is a subclass of shuttle |
| (documentation AirportShuttleService EnglishLanguage "AirportShuttleService is a type of ShuttleService that has an Airport as one of its stops") | Hotel.kif 2085-2086 | Airport shuttle is a subclass of shuttle |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AirportShuttleService "airport shuttle") | Hotel.kif 2087-2087 |
| antecedent |
|
|
| (=> (instance ?SVC AirportShuttleService) (exists (?AIRPORT ?TRANSPORT) (and (instance ?AIRPORT Airport) (subProcess ?TRANSPORT ?SVC) (instance ?TRANSPORT Transportation) (or (destination ?TRANSPORT ?AIRPORT) (origin ?TRANSPORT ?AIRPORT))))) |
Hotel.kif 2089-2098 | If X is an instance of airport shuttle, then there exist Y, Z such that Y is an instance of airport, Z is a subprocess of X, Z is an instance of transportation, and Z ends up at Y or Z originates at Y |
|