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 881-881
(subclass TransferSwitch Device) engineering.kif 880-880 TransferSwitchデバイスsubclass では %n

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


(termFormat ChineseLanguage TransferSwitch "转换开关") domainEnglishFormat.kif 58814-58814
(termFormat ChineseTraditionalLanguage TransferSwitch "轉換開關") domainEnglishFormat.kif 58813-58813
(termFormat EnglishLanguage TransferSwitch "transfer switch") domainEnglishFormat.kif 58812-58812

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