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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 1825-1828
(subclass DeviceStateAttribute InternalAttribute) Mid-level-ontology.kif 1823-1823 subclass DeviceStateAttribute and InternalAttribute

appearance as argument number 2

(instance AirplaneMode DeviceStateAttribute) ComputingBrands.kif 1740-1740 instance スタンドアロンモード and DeviceStateAttribute
(instance DeviceClosed DeviceStateAttribute) Mid-level-ontology.kif 1830-1830 instance DeviceClosed and DeviceStateAttribute
(instance DeviceOff DeviceStateAttribute) Mid-level-ontology.kif 1832-1832 instance DeviceOff and DeviceStateAttribute
(instance DeviceOn DeviceStateAttribute) Mid-level-ontology.kif 1834-1834 instance DeviceOn and DeviceStateAttribute
(instance DeviceOpen DeviceStateAttribute) Mid-level-ontology.kif 1836-1836 instance DeviceOpen and DeviceStateAttribute
(termFormat ChineseLanguage DeviceStateAttribute "设备状态属性") domainEnglishFormat.kif 19365-19365
(termFormat ChineseTraditionalLanguage DeviceStateAttribute "設備狀態屬性") domainEnglishFormat.kif 19364-19364
(termFormat EnglishLanguage DeviceStateAttribute "device state attribute") domainEnglishFormat.kif 19363-19363

appearance as argument number 3

(domain deviceState 2 DeviceStateAttribute) Mid-level-ontology.kif 1842-1842 domain deviceState, 2 and DeviceStateAttribute

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