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

Formal Language: 

KB Term:  Term intersection
English Word: 


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


    (instance ?TRANS TransferSwitch)
    (hasPurpose ?TRANS
        (exists (?PROC ?POWER1 ?POWER2 ?E)
                (instance ?PROC Process)
                (instance ?POWER1 PowerSource)
                (instance ?POWER2 PowerSource)
                (instance ?E Electricity)
                (instrument ?PROC ?TRANS)
                        (WhenFn ?PROC))
                    (origin ?E ?POWER1))
                        (WhenFn ?PROC))
                    (origin ?E ?POWER1))
                    (equal ?POWER1 ?POWER2))))))
engineering.kif 880-899

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