SelfPoweredDevice - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SelfPoweredDevice Device)	Mid-level-ontology.kif 3349-3349	Self powered device is a subclass of device
(documentation SelfPoweredDevice EnglishLanguage "SelfPoweredDevice is the subclass of Devices whose action is powered by some kind of on-board component or power source (not the user, which would be a UserPoweredVehicle).")	Mid-level-ontology.kif 3350-3353	Self powered device is a subclass of device

appearance as argument number 2

(subclass Missile SelfPoweredDevice)	Mid-level-ontology.kif 19644-19644	Missile is a subclass of self powered device
(termFormat EnglishLanguage SelfPoweredDevice "self powered device")	domainEnglishFormat.kif 52000-52000	Missile is a subclass of self powered device
(termFormat ChineseTraditionalLanguage SelfPoweredDevice "自供電設備")	domainEnglishFormat.kif 52001-52001	Missile is a subclass of self powered device
(termFormat ChineseLanguage SelfPoweredDevice "自供电设备")	domainEnglishFormat.kif 52002-52002	Missile is a subclass of self powered device

antecedent

(=>
    (instance ?DEVICE SelfPoweredDevice)
    (exists (?SOURCE)
        (and
            (instance ?SOURCE Device)
            (powerComponent ?SOURCE ?DEVICE))))

If X is an instance of self powered device, then there exists Y such that Y is an instance of device and X is a power component of Y

consequent

(=>
    (and
        (powerComponent ?G ?O)
        (instance ?O Device))
    (instance ?O SelfPoweredDevice))

If X is a power component of Y and X is an instance of device, then X is an instance of self powered device