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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SwitchDevice

Sigma KEE - SwitchDevice
SwitchDevice

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


(documentation SwitchDevice EnglishLanguage "An EngineeringComponent which is capable of turning an ElectricDevice on and off.") Mid-level-ontology.kif 1740-1741
(externalImage SwitchDevice "http://upload.wikimedia.org/wikipedia/en/8/ 80/ On-Off_Switch.jpg") pictureList.kif 2014-2014
(subclass SwitchDevice EngineeringComponent) Mid-level-ontology.kif 1739-1739

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


(subclass IDeviceHomeButton SwitchDevice) ComputingBrands.kif 3103-3103
(subclass Relay SwitchDevice) engineering.kif 747-747
(termFormat ChineseLanguage SwitchDevice "开关设备") domainEnglishFormat.kif 56542-56542
(termFormat ChineseTraditionalLanguage SwitchDevice "開關設備") domainEnglishFormat.kif 56541-56541
(termFormat EnglishLanguage SwitchDevice "switch device") domainEnglishFormat.kif 56540-56540

antecedent
-------------------------


(=>
    (instance ?DEVICE SwitchDevice)
    (exists (?PROC1 ?PROC2 ?ELECTRIC)
        (and
            (instrument ?PROC1 ?DEVICE)
            (causes ?PROC1 ?PROC2)
            (instrument ?PROC2 ?ELECTRIC)
            (instance ?ELECTRIC ElectricDevice))))
Mid-level-ontology.kif 1743-1750


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