Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Bus(bus)
|  | trackless_trolley, trolley_coach, trolleybus |
| appearance as argument number 1 |
|
|
| (subclass Bus SelfPoweredRoadVehicle) | Transportation.kif 2126-2126 | Bus is a subclass of self powered road vehicle |
| (subclass Bus PassengerVehicle) | Transportation.kif 2127-2127 | Bus is a subclass of passenger vehicle |
| (documentation Bus EnglishLanguage "Bus is the subclass of SelfPoweredRoadVehicles that can transport large numbers of passengers (i.e., dozens) at one time. It can be distinguished from a van which is designed to carry less than a dozen people.") | Transportation.kif 2128-2131 | Bus is a subclass of passenger vehicle |
| (externalImage Bus "http://articulatesoftware.com/SUMOpictures/transportation/ bus/ bus_2.png") | pictureList.kif 305-305 | Bus is a subclass of passenger vehicle |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?B Bus) (hasPurpose ?B (exists (?C ?T ?N ?P) (and (instance ?C CollectionOfObjects) (instance ?T Transportation) (memberCount ?C ?N) (greaterThan ?N 11) (=> (member ?P ?C) (patient ?T ?P)))))) |
Transportation.kif 2132-2143 | If X is an instance of bus, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of collection, Z is an instance of transportation, W is a member count of Y, W is greater than 11, and V is a member of YV is a patient of Z |
| consequent |
|
|
| (=> (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 ?COMPANY BusCompany) (exists (?SERVICE ?BUS) (and (instance ?SERVICE CommercialService) (agent ?SERVICE ?COMPANY) (instance ?SERVICE Transportation) (instrument ?SERVICE ?BUS) (instance ?BUS Bus)))) |
Society.kif 348-356 | If X is an instance of BusCompany, then there exist Y, Z such that Y is an instance of commercial service, X is an agent of Y, Y is an instance of transportation, Z is an instrument for Y, and Z is an instance of bus |
|