|
|
   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 1740-1741 | |
| (externalImage SwitchDevice "http://upload.wikimedia.org/wikipedia/en/8/ 80/ On-Off_Switch.jpg") | pictureList.kif 2014-2014 | |
| (subclass SwitchDevice EngineeringComponent) | Mid-level-ontology.kif 1739-1739 |
| appearance as argument number 2 |
|
|
| (subclass IDeviceHomeButton SwitchDevice) | ComputingBrands.kif 3103-3103 | |
| (subclass Relay SwitchDevice) | engineering.kif 747-747 | |
| (termFormat ChineseLanguage SwitchDevice "开关设备") | domainEnglishFormat.kif 56542-56542 | |
| (termFormat ChineseTraditionalLanguage SwitchDevice "開關設備") | domainEnglishFormat.kif 56541-56541 | |
| (termFormat EnglishLanguage SwitchDevice "switch device") | domainEnglishFormat.kif 56540-56540 |
| 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 1743-1750 |
|
|
|
