TransferSwitch - Sigma Knowledge base Browser

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	Transfer switch is a subclass of device

appearance as argument number 2

(termFormat ChineseLanguage TransferSwitch "转换开关")	domainEnglishFormat.kif 58858-58858
(termFormat ChineseTraditionalLanguage TransferSwitch "轉換開關")	domainEnglishFormat.kif 58857-58857
(termFormat EnglishLanguage TransferSwitch "transfer switch")	domainEnglishFormat.kif 58856-58856

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

If a physical is an instance of transfer switch,
then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of process and the other entity is an instance of power source and the third entity is an instance of power source and the fourth entity is an instance of electricity and the physical is an instrument for the entity and the fourth entity originates at the other entity holds during the beginning of the time of existence of the entity and the fourth entity originates at the other entity holds during the end of the time of existence of the entity and the other entity is not equal to the third entity

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

KB Term:			Term intersection

English Word: