Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DeviceStateAttribute(device state attribute) |
| appearance as argument number 1 |
|
| (subclass DeviceStateAttribute InternalAttribute) | Mid-level-ontology.kif 2435-2435 | Device state attribute is a subclass of internal attribute |
| (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 2437-2440 | Device state attribute is a subclass of internal attribute |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain deviceState 2 DeviceStateAttribute) | Mid-level-ontology.kif 2454-2454 | The number 2 argument of device state is an instance of device state attribute |
|