| PoweredVehicle
|
| appearance as argument number 1 |
|
| (disjoint PoweredVehicle UnpoweredVehicle) | Transportation.kif 1937-1937 | |
| (documentation PoweredVehicle EnglishLanguage "A Vehicle that has a powerComponent. Note that PoweredVehicles include those vehicles that have a powerComponent where the user can and does often choose not to use it, such as a moped with pedals.") | Transportation.kif 1934-1936 | |
| (externalImage PoweredVehicle "http://articulatesoftware.com/SUMOpictures/ transportation/ motorcycle/ cycle_2.png") | pictureList.kif 2320-2320 | |
| (subclass PoweredVehicle Vehicle) | Transportation.kif 1933-1933 |
| appearance as argument number 2 |
|
|
| (disjoint Railcar PoweredVehicle) | Transportation.kif 2221-2221 | |
| (disjoint Trailer PoweredVehicle) | Transportation.kif 1962-1962 | |
| (subclass AAV PoweredVehicle) | MilitaryDevices.kif 1649-1649 | |
| (subclass APC PoweredVehicle) | MilitaryDevices.kif 1574-1574 | |
| (subclass Airplane PoweredVehicle) | Transportation.kif 3105-3105 | |
| (subclass ElectrifiedRailwayCar PoweredVehicle) | Transportation.kif 2335-2335 | |
| (subclass EmergencyRoadVehicle PoweredVehicle) | Transportation.kif 2033-2033 | |
| (subclass EmergencyVehicle PoweredVehicle) | Transportation.kif 2027-2027 | |
| (subclass LCAC PoweredVehicle) | MilitaryDevices.kif 1947-1947 | |
| (subclass Locomotive PoweredVehicle) | Transportation.kif 2285-2285 | |
| (subclass MotorRailcar PoweredVehicle) | Transportation.kif 2373-2373 | |
| (subclass MotorizedRailwayCar PoweredVehicle) | Transportation.kif 2280-2280 | |
| (subclass SelfPoweredRoadVehicle PoweredVehicle) | Transportation.kif 1944-1944 | |
| (subclass Train PoweredVehicle) | Transportation.kif 2188-2188 | |
| (termFormat ChineseLanguage PoweredVehicle "动力车辆") | domainEnglishFormat.kif 47057-47057 | |
| (termFormat ChineseTraditionalLanguage PoweredVehicle "動力車輛") | domainEnglishFormat.kif 47056-47056 | |
| (termFormat EnglishLanguage PoweredVehicle "powered vehicle") | domainEnglishFormat.kif 47055-47055 |
| antecedent |
|
|
| (=> (instance ?UV PoweredVehicle) (exists (?P) (powerComponent ?P ?UV))) |
Transportation.kif 1938-1941 |
| consequent |
|
|
| (=> (instance ?X RemoteIgnitionControl) (hasPurpose ?X (exists (?VEHICLE ?ENGINE ?SIGNAL ?PROC) (and (instance ?VEHICLE PoweredVehicle) (instance ?SIGNAL ElectronicSignalling) (instrument ?SIGNAL ?X) (destination ?SIGNAL ?VEHICLE) (instance ?ENGINE Engine) (component ?ENGINE ?VEHICLE) (instance ?PROC (OperatingFn Engine)) (experiencer ?PROC ?ENGINE) (causes ?SIGNAL ?PROC))))) |
Cars.kif 3815-3829 |
|
|
|