| 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 2108-2111 | |
| (externalImage Bus "http://articulatesoftware.com/SUMOpictures/transportation/ bus/ bus_2.png") | pictureList.kif 305-305 | |
| (subclass Bus PassengerVehicle) | Transportation.kif 2107-2107 | |
| (subclass Bus SelfPoweredRoadVehicle) | Transportation.kif 2106-2106 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bus "总线") | domainEnglishFormat.kif 12426-12426 | |
| (termFormat ChineseTraditionalLanguage Bus "總線") | domainEnglishFormat.kif 12425-12425 | |
| (termFormat EnglishLanguage Bus "bus") | domainEnglishFormat.kif 12424-12424 |
| antecedent |
|
|
| (=> (instance ?B Bus) (hasPurpose ?B (exists (?C ?T ?N ?P) (and (instance ?C Collection) (instance ?T Transportation) (memberCount ?C ?N) (greaterThan ?N 11) (=> (member ?P ?C) (patient ?T ?P)))))) |
Transportation.kif 2112-2123 |
| 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 2129-2140 |
|
|
|