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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeviceStateAttribute
DeviceStateAttribute(device state attribute)

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 2324-2327
(subclass DeviceStateAttribute InternalAttribute) Mid-level-ontology.kif 2322-2322 Device state attribute is a subclass of internal attribute

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


(instance AirplaneMode DeviceStateAttribute) ComputingBrands.kif 1772-1772 Standalone mode is an instance of device state attribute
(instance DeviceClosed DeviceStateAttribute) Mid-level-ontology.kif 2329-2329 Device closed is an instance of device state attribute
(instance DeviceOff DeviceStateAttribute) Mid-level-ontology.kif 2331-2331 Device off is an instance of device state attribute
(instance DeviceOn DeviceStateAttribute) Mid-level-ontology.kif 2333-2333 Device on is an instance of device state attribute
(instance DeviceOpen DeviceStateAttribute) Mid-level-ontology.kif 2335-2335 Device open is an instance of device state attribute
(termFormat ChineseLanguage DeviceStateAttribute "设备状态属性") domainEnglishFormat.kif 19389-19389 Device open is an instance of device state attribute
(termFormat ChineseTraditionalLanguage DeviceStateAttribute "設備狀態屬性") domainEnglishFormat.kif 19388-19388 Device open is an instance of device state attribute
(termFormat EnglishLanguage DeviceStateAttribute "device state attribute") domainEnglishFormat.kif 19387-19387 Device open is an instance of device state attribute

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


(domain deviceState 2 DeviceStateAttribute) Mid-level-ontology.kif 2341-2341 The number 2 argument of device state is an instance of device state attribute


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