Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
BusStop(bus stop)
|  | bus_stop |
| appearance as argument number 1 |
|
|
| (subclass BusStop GeographicArea) | Transportation.kif 2145-2145 | Bus stop is a subclass of geographic area |
| (documentation BusStop EnglishLanguage "An area, often, though not necessarily with seats or some kind of minimal shelter, where people gather to meet and board a bus. It must border a road.") | Transportation.kif 2146-2148 | Bus stop is a subclass of geographic area |
| (externalImage BusStop "http://articulatesoftware.com/SUMOpictures/travel/ US_Road_Signs/ recreation/ rec_2/ bus_stop.png") | pictureList.kif 306-306 | Bus stop is a subclass of geographic area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?X BusStop) (hasPurpose ?X (exists (?B ?BO ?D) (and (instance ?B Bus) (instance ?BO Boarding) (instance ?D Deboarding) (eventLocated ?BO ?X) (eventLocated ?D ?X) (patient ?BO ?B) (patient ?D ?B))))) |
Transportation.kif 2149-2160 | If X is an instance of bus stop, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of bus (3) Z is an instance of boarding (4) W is an instance of deboarding (5) Z is located at X (6) W is located at X (7) Y is a patient of Z (8) Y is a patient of W |
| (=> (instance ?X BusStop) (exists (?R) (and (instance ?R Roadway) (meetsSpatially ?X ?R)))) |
Transportation.kif 2162-2167 | If X is an instance of bus stop, then there exists Y such that Y is an instance of roadway and X meets Y |
|