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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1785-1786
(externalImage SwitchDevice "http://upload.wikimedia.org/wikipedia/en/8/ 80/ On-Off_Switch.jpg") pictureList.kif 2013-2013
(subclass SwitchDevice EngineeringComponent) Mid-level-ontology.kif 1784-1784 开关设备工程组件subclass

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


(subclass IDeviceHomeButton SwitchDevice) ComputingBrands.kif 3135-3135 主页按钮开关设备subclass
(subclass Relay SwitchDevice) engineering.kif 749-749 中继开关设备subclass
(termFormat ChineseLanguage SwitchDevice "开关设备") domainEnglishFormat.kif 56563-56563
(termFormat ChineseTraditionalLanguage SwitchDevice "開關設備") domainEnglishFormat.kif 56562-56562
(termFormat EnglishLanguage SwitchDevice "switch device") domainEnglishFormat.kif 56561-56561

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


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