| UnpoweredVehicle(无动力车辆) | |
| 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 1784-1786 | |
| (subclass UnpoweredVehicle Vehicle) | Transportation.kif 1783-1783 | 无动力车辆 是 车辆 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint PoweredVehicle UnpoweredVehicle) | Transportation.kif 1797-1797 | 动力车辆 和 % 2 是 disjoint |
| (subclass GliderPlane UnpoweredVehicle) | Transportation.kif 2594-2594 | 滑翔机 是 无动力车辆 的 subclass |
| (subclass Trailer UnpoweredVehicle) | Transportation.kif 1821-1821 | 预告片 是 无动力车辆 的 subclass |
| (subclass Wagon UnpoweredVehicle) | Transportation.kif 1847-1847 | 车皮 是 无动力车辆 的 subclass |
| (termFormat ChineseLanguage UnpoweredVehicle "无动力车辆") | domainEnglishFormat.kif 60530-60530 | |
| (termFormat ChineseTraditionalLanguage UnpoweredVehicle "無動力車輛") | domainEnglishFormat.kif 60529-60529 | |
| (termFormat EnglishLanguage UnpoweredVehicle "unpowered vehicle") | domainEnglishFormat.kif 60528-60528 |
| antecedent |
|
|
| (=> (instance ?UV UnpoweredVehicle) (not (exists (?P) (powerComponent ?P ?UV)))) |
Transportation.kif 1787-1791 |
|
|
|