TransferSwitch
|
|
appearance as argument number 1 |
(documentation TransferSwitch EnglishLanguage "An electrical switch that switches a load between two PowerSource") | engineering.kif 881-881 | |
(subclass TransferSwitch Device) | engineering.kif 880-880 | 子類 轉換開關 and Device |
appearance as argument number 2 |
(termFormat ChineseLanguage TransferSwitch "转换开关") | domainEnglishFormat.kif 58816-58816 | |
(termFormat ChineseTraditionalLanguage TransferSwitch "轉換開關") | domainEnglishFormat.kif 58815-58815 | |
(termFormat EnglishLanguage TransferSwitch "transfer switch") | domainEnglishFormat.kif 58814-58814 |
antecedent |
(=> (instance ?TRANS TransferSwitch) (hasPurpose ?TRANS (exists (?PROC ?POWER1 ?POWER2 ?E) (and (instance ?PROC Process) (instance ?POWER1 PowerSource) (instance ?POWER2 PowerSource) (instance ?E Electricity) (instrument ?PROC ?TRANS) (holdsDuring (BeginFn (WhenFn ?PROC)) (origin ?E ?POWER1)) (holdsDuring (EndFn (WhenFn ?PROC)) (origin ?E ?POWER1)) (not (equal ?POWER1 ?POWER2)))))) |
engineering.kif 882-901 |