SwitchDevice |
appearance as argument number 1 |
(documentation SwitchDevice EnglishLanguage "An EngineeringComponent which is capable of turning an ElectricDevice on and off.") | Mid-level-ontology.kif 1785-1786 | |
(externalImage SwitchDevice "http://upload.wikimedia.org/wikipedia/en/8/ 80/ On-Off_Switch.jpg") | pictureList.kif 2013-2013 | |
(subclass SwitchDevice EngineeringComponent) | Mid-level-ontology.kif 1784-1784 |
appearance as argument number 2 |
(subclass IDeviceHomeButton SwitchDevice) | ComputingBrands.kif 3135-3135 | |
(subclass Relay SwitchDevice) | engineering.kif 749-749 | |
(termFormat ChineseLanguage SwitchDevice "开关设备") | domainEnglishFormat.kif 56563-56563 | |
(termFormat ChineseTraditionalLanguage SwitchDevice "開關設備") | domainEnglishFormat.kif 56562-56562 | |
(termFormat EnglishLanguage SwitchDevice "switch device") | domainEnglishFormat.kif 56561-56561 |
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 1788-1795 |