Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SwitchDevice
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
-------------------------


(subclass SwitchDevice EngineeringComponent) Mid-level-ontology.kif 2359-2359 Switch device is a subclass of engineering component
(documentation SwitchDevice EnglishLanguage "An EngineeringComponent which is capable of turning an ElectricDevice on and off.") Mid-level-ontology.kif 2360-2361 Switch device is a subclass of engineering component
(externalImage SwitchDevice "http://upload.wikimedia.org/wikipedia/en/8/ 80/ On_Off_Switch.jpg") pictureList.kif 2012-2012 Switch device is a subclass of engineering component

appearance as argument number 2
-------------------------


(subclass IDeviceHomeButton SwitchDevice) ComputingBrands.kif 3042-3042 Home button is a subclass of switch device
(termFormat EnglishLanguage SwitchDevice "switch device") domainEnglishFormat.kif 56558-56558 Home button is a subclass of switch device
(termFormat ChineseTraditionalLanguage SwitchDevice "開關設備") domainEnglishFormat.kif 56559-56559 Home button is a subclass of switch device
(termFormat ChineseLanguage SwitchDevice "开关设备") domainEnglishFormat.kif 56560-56560 Home button is a subclass of switch device
(subclass Relay SwitchDevice) engineering.kif 835-835 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 2363-2370 If X is an instance of switch device, then there exist Y, Z, W such that X is an instrument for Y, Y causes Z, W is an instrument for Z, and W is an instance of electric device


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners