|
|
   Bus
|
|
|
| appearance as argument number 1 |
|
|
| (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 1905-1908 | |
| (externalImage Bus "http://www.adampease.org/Articulate/SUMOpictures/pictures/ transportation/ bus/ bus_2.png") | pictureList.kif 305-305 | |
| (subclass Bus PassengerVehicle) | Transportation.kif 1904-1904 | |
| (subclass Bus SelfPoweredRoadVehicle) | Transportation.kif 1903-1903 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Bus "bus") | domainEnglishFormat.kif 2493-2493 |
| antecedent |
|
|
| (=> (instance ?B Bus) (hasPurpose ?B (exists (?C ?T ?N) (and (instance ?C Collection) (instance ?T Transportation) (memberCount ?C ?N) (greaterThan ?N 11) (=> (member ?P ?C) (patient ?T ?P)))))) |
Transportation.kif 1909-1920 |
| consequent |
|
|
| (=> (instance ?COMPANY BusCompany) (exists (?SERVICE ?BUS) (and (instance ?SERVICE CommercialService) (agent ?SERVICE ?COMPANY) (instance ?SERVICE Transportation) (instrument ?SERVICE ?BUS) (instance ?BUS Bus)))) |
Society.kif 346-354 | |
| (=> (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 1926-1937 |
|
|
|
