| SwitchDevice(switch device)
| | DIP_switch, bell, bell_push, button, buzzer, commutator, cutout, doorbell, dual_inline_package_switch, electric_switch, electrical_switch, horn_button, ignition_switch, on-off_switch, on/off_switch, panic_button, push, push_button, reset_button, selector, selector_switch, switch, switch_on, three-point_switch, three-way_switch, toggle, toggle_switch, turn_on |
| appearance as argument number 1 |
|
|
| (documentation SwitchDevice EnglishLanguage "An EngineeringComponent which is capable of turning an ElectricDevice on and off.") | Mid-level-ontology.kif 1851-1852 | |
| (externalImage SwitchDevice "http://upload.wikimedia.org/wikipedia/en/8/ 80/ On_Off_Switch.jpg") | pictureList.kif 2012-2012 | |
| (subclass SwitchDevice EngineeringComponent) | Mid-level-ontology.kif 1850-1850 | Switch device is a subclass of engineering component |
| appearance as argument number 2 |
|
|
| (subclass IDeviceHomeButton SwitchDevice) | ComputingBrands.kif 3135-3135 | Home button is a subclass of switch device |
| (subclass Relay SwitchDevice) | engineering.kif 748-748 | Relay is a subclass of switch device |
| (termFormat ChineseLanguage SwitchDevice "开关设备") | domainEnglishFormat.kif 56596-56596 | Relay is a subclass of switch device |
| (termFormat ChineseTraditionalLanguage SwitchDevice "開關設備") | domainEnglishFormat.kif 56595-56595 | Relay is a subclass of switch device |
| (termFormat EnglishLanguage SwitchDevice "switch device") | domainEnglishFormat.kif 56594-56594 | Relay is a subclass of switch device |
| antecedent |
|
|
| (=> (instance ?DEVICE SwitchDevice) (exists (?PROC1 ?PROC2 ?ELECTRIC) (and (instrument ?PROC1 ?DEVICE) (causes ?PROC1 ?PROC2) (instrument ?PROC2 ?ELECTRIC) (instance ?ELECTRIC ElectricDevice)))) |
Mid-level-ontology.kif 1854-1861 |
|
|
|
|