|
|
   PoweredVehicle
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint PoweredVehicle UnpoweredVehicle) | Transportation.kif 1797-1797 | |
| (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 1794-1796 | |
| (externalImage PoweredVehicle "http://articulatesoftware.com/SUMOpictures/ transportation/ motorcycle/ cycle_2.png") | pictureList.kif 2321-2321 | |
| (subclass PoweredVehicle Vehicle) | Transportation.kif 1793-1793 |
| appearance as argument number 2 |
|
|
| (disjoint Railcar PoweredVehicle) | Transportation.kif 2075-2075 | |
| (disjoint Trailer PoweredVehicle) | Transportation.kif 1822-1822 | |
| (subclass AAV PoweredVehicle) | MilitaryDevices.kif 1649-1649 | |
| (subclass APC PoweredVehicle) | MilitaryDevices.kif 1574-1574 | |
| (subclass Airplane PoweredVehicle) | Transportation.kif 2583-2583 | |
| (subclass ElectrifiedRailwayCar PoweredVehicle) | Transportation.kif 2166-2166 | |
| (subclass EmergencyRoadVehicle PoweredVehicle) | Transportation.kif 1893-1893 | |
| (subclass EmergencyVehicle PoweredVehicle) | Transportation.kif 1887-1887 | |
| (subclass LCAC PoweredVehicle) | MilitaryDevices.kif 1947-1947 | |
| (subclass Locomotive PoweredVehicle) | Transportation.kif 2116-2116 | |
| (subclass MotorRailcar PoweredVehicle) | Transportation.kif 2204-2204 | |
| (subclass MotorizedRailwayCar PoweredVehicle) | Transportation.kif 2111-2111 | |
| (subclass SelfPoweredRoadVehicle PoweredVehicle) | Transportation.kif 1804-1804 | |
| (subclass Train PoweredVehicle) | Transportation.kif 2048-2048 | |
| (termFormat ChineseLanguage PoweredVehicle "动力车辆") | domainEnglishFormat.kif 47024-47024 | |
| (termFormat ChineseTraditionalLanguage PoweredVehicle "動力車輛") | domainEnglishFormat.kif 47023-47023 | |
| (termFormat EnglishLanguage PoweredVehicle "powered vehicle") | domainEnglishFormat.kif 47022-47022 |
| antecedent |
|
|
| (=> (instance ?UV PoweredVehicle) (exists (?P) (powerComponent ?P ?UV))) |
Transportation.kif 1798-1801 |
| 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 3755-3769 |
|
|
|
