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 1774-1776 | |
(subclass UnpoweredVehicle Vehicle) | Transportation.kif 1773-1773 |
appearance as argument number 2 |
![]() |
(disjoint PoweredVehicle UnpoweredVehicle) | Transportation.kif 1787-1787 | |
(subclass GliderPlane UnpoweredVehicle) | Transportation.kif 2572-2572 | |
(subclass Trailer UnpoweredVehicle) | Transportation.kif 1811-1811 | |
(subclass Wagon UnpoweredVehicle) | Transportation.kif 1837-1837 | |
(termFormat ChineseLanguage UnpoweredVehicle "无动力车辆") | domainEnglishFormat.kif 60514-60514 | |
(termFormat ChineseTraditionalLanguage UnpoweredVehicle "無動力車輛") | domainEnglishFormat.kif 60513-60513 | |
(termFormat EnglishLanguage UnpoweredVehicle "unpowered vehicle") | domainEnglishFormat.kif 60512-60512 |
antecedent |
![]() |
(=> (instance ?UV UnpoweredVehicle) (not (exists (?P) (powerComponent ?P ?UV)))) |
Transportation.kif 1777-1781 |
![]() |
![]() |