|
|
   ClimbingRope Screw
|
|
|
| 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 1968-1971 | |
| (externalImage Bus "http://articulatesoftware.com/SUMOpictures/transportation/ bus/ bus_2.png") | pictureList.kif 305-305 | |
| (subclass Bus PassengerVehicle) | Transportation.kif 1967-1967 | 总线 是 乘用车 的 subclass |
| (subclass Bus SelfPoweredRoadVehicle) | Transportation.kif 1966-1966 | 总线 是 自供电公路车辆 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bus "总线") | domainEnglishFormat.kif 12415-12415 | |
| (termFormat ChineseTraditionalLanguage Bus "總線") | domainEnglishFormat.kif 12414-12414 | |
| (termFormat EnglishLanguage Bus "bus") | domainEnglishFormat.kif 12413-12413 |
| 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 1972-1983 |
| 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 1989-2000 |
|
|
|
