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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeviceStateAttribute

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 1862-1865
(subclass DeviceStateAttribute InternalAttribute) Mid-level-ontology.kif 1860-1860 DeviceStateAttribute ist eine teilkategorie von InternalAttribute

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


(instance AirplaneMode DeviceStateAttribute) ComputingBrands.kif 1772-1772 AirplaneMode ist ein fall von DeviceStateAttribute %n{nicht}
(instance DeviceClosed DeviceStateAttribute) Mid-level-ontology.kif 1867-1867 DeviceClosed ist ein fall von DeviceStateAttribute %n{nicht}
(instance DeviceOff DeviceStateAttribute) Mid-level-ontology.kif 1869-1869 DeviceOff ist ein fall von DeviceStateAttribute %n{nicht}
(instance DeviceOn DeviceStateAttribute) Mid-level-ontology.kif 1871-1871 DeviceOn ist ein fall von DeviceStateAttribute %n{nicht}
(instance DeviceOpen DeviceStateAttribute) Mid-level-ontology.kif 1873-1873 DeviceOpen ist ein fall von DeviceStateAttribute %n{nicht}
(termFormat ChineseLanguage DeviceStateAttribute "设备状态属性") domainEnglishFormat.kif 19374-19374
(termFormat ChineseTraditionalLanguage DeviceStateAttribute "設備狀態屬性") domainEnglishFormat.kif 19373-19373
(termFormat EnglishLanguage DeviceStateAttribute "device state attribute") domainEnglishFormat.kif 19372-19372

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


(domain deviceState 2 DeviceStateAttribute) Mid-level-ontology.kif 1879-1879 Die Zahl 2 Argument von deviceState ist ein fall von DeviceStateAttribute %n{nicht}


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