| UnpoweredVehicle(unpowered vehicle) | | Rollerblade, baby_buggy, baby_carriage, caroche, carriage, clarence, equipage, go-cart, horse-cart, horse_cart, horsecar, jaunting_car, jaunty_car, perambulator, pram, pushchair, pusher, rig, stanhope, stroller |
| appearance as argument number 1 |
|
|
| (documentation UnpoweredVehicle EnglishLanguage "A Vehicle that lacks a powerComponent. It coasts like a glider or skateboard, thus deriving its power from the potential energy of gravity, or by the power of its agent, as in a bicycle.") | Transportation.kif 1924-1926 | |
| (subclass UnpoweredVehicle Vehicle) | Transportation.kif 1923-1923 | Unpowered vehicle is a subclass of vehicle |
| appearance as argument number 2 |
|
|
| (disjoint PoweredVehicle UnpoweredVehicle) | Transportation.kif 1937-1937 | Powered vehicle is disjoint from unpowered vehicle |
| (subclass GliderPlane UnpoweredVehicle) | Transportation.kif 3116-3116 | Glider plane is a subclass of unpowered vehicle |
| (subclass Trailer UnpoweredVehicle) | Transportation.kif 1961-1961 | Trailer is a subclass of unpowered vehicle |
| (subclass Wagon UnpoweredVehicle) | Transportation.kif 1987-1987 | Wagon is a subclass of unpowered vehicle |
| (termFormat ChineseLanguage UnpoweredVehicle "无动力车辆") | domainEnglishFormat.kif 60578-60578 | Wagon is a subclass of unpowered vehicle |
| (termFormat ChineseTraditionalLanguage UnpoweredVehicle "無動力車輛") | domainEnglishFormat.kif 60577-60577 | Wagon is a subclass of unpowered vehicle |
| (termFormat EnglishLanguage UnpoweredVehicle "unpowered vehicle") | domainEnglishFormat.kif 60576-60576 | Wagon is a subclass of unpowered vehicle |
| antecedent |
|
|
| (=> (instance ?UV UnpoweredVehicle) (not (exists (?P) (powerComponent ?P ?UV)))) |
Transportation.kif 1927-1931 |
|
|
|
|