UnpoweredVehicle - Sigma Knowledge base Browser

appearance as argument number 1

(subclass UnpoweredVehicle Vehicle)	Transportation.kif 1938-1938	Unpowered vehicle is a subclass of vehicle
(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 1939-1941	Unpowered vehicle is a subclass of vehicle

appearance as argument number 2

(disjoint PoweredVehicle UnpoweredVehicle)	Transportation.kif 1952-1952	Powered vehicle is disjoint from unpowered vehicle
(subclass Trailer UnpoweredVehicle)	Transportation.kif 1976-1976	Trailer is a subclass of unpowered vehicle
(subclass Wagon UnpoweredVehicle)	Transportation.kif 2002-2002	Wagon is a subclass of unpowered vehicle
(subclass GliderPlane UnpoweredVehicle)	Transportation.kif 3165-3165	Glider plane is a subclass of unpowered vehicle
(termFormat EnglishLanguage UnpoweredVehicle "unpowered vehicle")	domainEnglishFormat.kif 60515-60515	Glider plane is a subclass of unpowered vehicle
(termFormat ChineseTraditionalLanguage UnpoweredVehicle "無動力車輛")	domainEnglishFormat.kif 60516-60516	Glider plane is a subclass of unpowered vehicle
(termFormat ChineseLanguage UnpoweredVehicle "无动力车辆")	domainEnglishFormat.kif 60517-60517	Glider plane is a subclass of unpowered vehicle

antecedent

(=>
    (instance ?UV UnpoweredVehicle)
    (not
        (exists (?P)
            (powerComponent ?P ?UV))))

If X is an instance of unpowered vehicle, then there doesn't exist Y such that X is a power component of Y