| 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 2743-2746 | |
| (subclass SelfPoweredDevice Device) | Mid-level-ontology.kif 2742-2742 | Self powered device is a subclass of device |
| appearance as argument number 2 |
|
|
| (subclass Missile SelfPoweredDevice) | Mid-level-ontology.kif 17982-17982 | Missile is a subclass of self powered device |
| (termFormat ChineseLanguage SelfPoweredDevice "自供电设备") | domainEnglishFormat.kif 52045-52045 | Missile is a subclass of self powered device |
| (termFormat ChineseTraditionalLanguage SelfPoweredDevice "自供電設備") | domainEnglishFormat.kif 52044-52044 | Missile is a subclass of self powered device |
| (termFormat EnglishLanguage SelfPoweredDevice "self powered device") | domainEnglishFormat.kif 52043-52043 | 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 2748-2753 |
|
| consequent |
|
|
| (=> (and (powerComponent ?G ?O) (instance ?O Device)) (instance ?O SelfPoweredDevice)) |
Mid-level-ontology.kif 1735-1739 |
|
|
|
|