Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransferSwitch
TransferSwitch(转换开关)

appearance as argument number 1
-------------------------


(documentation TransferSwitch EnglishLanguage "An electrical switch that switches a load between two PowerSource") engineering.kif 879-879
(subclass TransferSwitch Device) engineering.kif 878-878 转换开关设备subclass

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


(termFormat ChineseLanguage TransferSwitch "转换开关") domainEnglishFormat.kif 58781-58781
(termFormat ChineseTraditionalLanguage TransferSwitch "轉換開關") domainEnglishFormat.kif 58780-58780
(termFormat EnglishLanguage TransferSwitch "transfer switch") domainEnglishFormat.kif 58779-58779

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 880-899


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