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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransferSwitch

Sigma KEE - TransferSwitch
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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