Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  LevatorAngulaOrisMuscle

 Sigma KEE - TransferSwitch
TransferSwitch(transfer switch)

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


(subclass TransferSwitch Device) engineering.kif 1287-1287 Transfer switch is a subclass of device
(documentation TransferSwitch EnglishLanguage "An electrical switch that switches a load between two PowerSource") engineering.kif 1288-1288 Transfer switch is a subclass of device

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


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

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 1289-1308 If X is an instance of transfer switch, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of process (3) Z is an instance of power source (4) W is an instance of power source (5) V is an instance of electricity (6) X is an instrument for Y (7) V originates at Z holds during the beginning of the time of existence of Y (8) V originates at Z holds during the end of the time of existence of Y (9) equal Z (10) W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners