SelfPoweredDevice(self powered device) | ![]() | power_tool, router, stamper, stamping_machine |
appearance as argument number 1 |
![]() |
(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 3213-3216 | |
(subclass SelfPoweredDevice Device) | Mid-level-ontology.kif 3212-3212 | Self powered device is a subclass of device |
appearance as argument number 2 |
![]() |
(subclass Missile SelfPoweredDevice) | Mid-level-ontology.kif 19275-19275 | Missile is a subclass of self powered device |
(termFormat ChineseLanguage SelfPoweredDevice "自供电设备") | domainEnglishFormat.kif 52009-52009 | Missile is a subclass of self powered device |
(termFormat ChineseTraditionalLanguage SelfPoweredDevice "自供電設備") | domainEnglishFormat.kif 52008-52008 | Missile is a subclass of self powered device |
(termFormat EnglishLanguage SelfPoweredDevice "self powered device") | domainEnglishFormat.kif 52007-52007 | Missile is a subclass of self powered device |
antecedent |
![]() |
(=> (instance ?DEVICE SelfPoweredDevice) (exists (?SOURCE) (and (instance ?SOURCE Device) (powerComponent ?SOURCE ?DEVICE)))) |
Mid-level-ontology.kif 3218-3223 |
|
consequent |
![]() |
(=> (and (powerComponent ?G ?O) (instance ?O Device)) (instance ?O SelfPoweredDevice)) |
Mid-level-ontology.kif 2205-2209 |
|
![]() |
![]() |