SelfPoweredDevice |
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 2750-2753 | |
(subclass SelfPoweredDevice Device) | Mid-level-ontology.kif 2749-2749 |
appearance as argument number 2 |
(subclass Missile SelfPoweredDevice) | Mid-level-ontology.kif 17723-17723 | |
(termFormat ChineseLanguage SelfPoweredDevice "自供电设备") | domainEnglishFormat.kif 52005-52005 | |
(termFormat ChineseTraditionalLanguage SelfPoweredDevice "自供電設備") | domainEnglishFormat.kif 52004-52004 | |
(termFormat EnglishLanguage SelfPoweredDevice "self powered device") | domainEnglishFormat.kif 52003-52003 |
antecedent |
(=> (instance ?DEVICE SelfPoweredDevice) (exists (?SOURCE) (and (instance ?SOURCE Device) (powerComponent ?SOURCE ?DEVICE)))) |
Mid-level-ontology.kif 2755-2760 |
consequent |
(=> (and (powerComponent ?G ?O) (instance ?O Device)) (instance ?O SelfPoweredDevice)) |
Mid-level-ontology.kif 1742-1746 |