| 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 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1785-1786 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2013-2013 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1784-1784 | Switch device is a subclass of engineering component |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3135-3135 | Home button is a subclass of switch device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 749-749 | Relay is a subclass of switch device |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56563-56563 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56562-56562 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56561-56561 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1788-1795 |
|
|
|
|