PoweredVehicle - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint PoweredVehicle UnpoweredVehicle)	Transportation.kif 1937-1937	Powered vehicle is disjoint from unpowered vehicle
(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	Powered vehicle is disjoint from unpowered vehicle
(externalImage PoweredVehicle "http://articulatesoftware.com/SUMOpictures/ transportation/ motorcycle/ cycle_2.png")	pictureList.kif 2320-2320	Powered vehicle is disjoint from unpowered vehicle
(subclass PoweredVehicle Vehicle)	Transportation.kif 1933-1933	Powered vehicle is a subclass of vehicle

appearance as argument number 2

(disjoint Railcar PoweredVehicle)	Transportation.kif 2221-2221	Railcar is disjoint from powered vehicle
(disjoint Trailer PoweredVehicle)	Transportation.kif 1962-1962	Trailer is disjoint from powered vehicle
(subclass AAV PoweredVehicle)	MilitaryDevices.kif 1649-1649	Amphibious Assault Vehicle is a subclass of powered vehicle
(subclass APC PoweredVehicle)	MilitaryDevices.kif 1574-1574	APC is a subclass of powered vehicle
(subclass Airplane PoweredVehicle)	Transportation.kif 3105-3105	Airplane is a subclass of powered vehicle
(subclass ElectrifiedRailwayCar PoweredVehicle)	Transportation.kif 2335-2335	Electrified railway car is a subclass of powered vehicle
(subclass EmergencyRoadVehicle PoweredVehicle)	Transportation.kif 2033-2033	Emergency road vehicle is a subclass of powered vehicle
(subclass EmergencyVehicle PoweredVehicle)	Transportation.kif 2027-2027	Emergency vehicle is a subclass of powered vehicle
(subclass LCAC PoweredVehicle)	MilitaryDevices.kif 1947-1947	LCAC is a subclass of powered vehicle
(subclass Locomotive PoweredVehicle)	Transportation.kif 2285-2285	Locomotive is a subclass of powered vehicle
(subclass MotorRailcar PoweredVehicle)	Transportation.kif 2373-2373	Motor railcar is a subclass of powered vehicle
(subclass MotorizedRailwayCar PoweredVehicle)	Transportation.kif 2280-2280	Motorized railway car is a subclass of powered vehicle
(subclass SelfPoweredRoadVehicle PoweredVehicle)	Transportation.kif 1944-1944	Self powered road vehicle is a subclass of powered vehicle
(subclass Train PoweredVehicle)	Transportation.kif 2188-2188	Train is a subclass of powered vehicle
(termFormat ChineseLanguage PoweredVehicle "动力车辆")	domainEnglishFormat.kif 47057-47057	Train is a subclass of powered vehicle
(termFormat ChineseTraditionalLanguage PoweredVehicle "動力車輛")	domainEnglishFormat.kif 47056-47056	Train is a subclass of powered vehicle
(termFormat EnglishLanguage PoweredVehicle "powered vehicle")	domainEnglishFormat.kif 47055-47055	Train is a subclass of powered vehicle

antecedent

(=>
    (instance ?UV PoweredVehicle)
    (exists (?P)
        (powerComponent ?P ?UV)))

Transportation.kif 1938-1941

If an artifact is an instance of powered vehicle,
then there exists a device such that the artifact is a power component of the device

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

If a physical is an instance of remote ignition control,
then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of powered vehicle and the third entity is an instance of electronic signalling and the physical is an instrument for the third entity and the third entity ends up at the entity and the other entity is an instance of engine and the other entity is a component of the entity and the fourth entity is an instance of the operating of engine and the other entity experiences the fourth entity and the third entity causes the fourth entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: