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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeviceStateAttribute
DeviceStateAttribute

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


(documentation DeviceStateAttribute EnglishLanguage "DeviceStateAttribute is the class of attributes that represent different states that a Device may be in. Examples: DeviceOff, DeviceOn, DeviceOpen, and DeviceClosed.") Mid-level-ontology.kif 1855-1858
(subclass DeviceStateAttribute InternalAttribute) Mid-level-ontology.kif 1853-1853

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


(instance AirplaneMode DeviceStateAttribute) ComputingBrands.kif 1772-1772
(instance DeviceClosed DeviceStateAttribute) Mid-level-ontology.kif 1860-1860
(instance DeviceOff DeviceStateAttribute) Mid-level-ontology.kif 1862-1862
(instance DeviceOn DeviceStateAttribute) Mid-level-ontology.kif 1864-1864
(instance DeviceOpen DeviceStateAttribute) Mid-level-ontology.kif 1866-1866
(termFormat ChineseLanguage DeviceStateAttribute "设备状态属性") domainEnglishFormat.kif 19385-19385
(termFormat ChineseTraditionalLanguage DeviceStateAttribute "設備狀態屬性") domainEnglishFormat.kif 19384-19384
(termFormat EnglishLanguage DeviceStateAttribute "device state attribute") domainEnglishFormat.kif 19383-19383

appearance as argument number 3
-------------------------


(domain deviceState 2 DeviceStateAttribute) Mid-level-ontology.kif 1872-1872


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