| appearance as argument number 1 |
|
| (documentation TransferSwitch EnglishLanguage "An electrical switch that switches a load between two PowerSource") | engineering.kif 1194-1194 | |
| (subclass TransferSwitch Device) | engineering.kif 1193-1193 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TransferSwitch "转换开关") | domainEnglishFormat.kif 58853-58853 | |
| (termFormat ChineseTraditionalLanguage TransferSwitch "轉換開關") | domainEnglishFormat.kif 58852-58852 | |
| (termFormat EnglishLanguage TransferSwitch "transfer switch") | domainEnglishFormat.kif 58851-58851 |
| 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 1195-1214 |
|
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 is open source software produced by Articulate Software and its partners