| appearance as argument number 1 |
|
| (documentation deviceState EnglishLanguage "(deviceState ?DEVICE ?STATE) means that the Object ?DEVICE is in the DeviceStateAttribute ?STATE.") | Mid-level-ontology.kif 1941-1942 | |
| (domain deviceState 1 Object) | Mid-level-ontology.kif 1944-1944 | The number 1 argument of device state is an instance of object |
| (domain deviceState 2 DeviceStateAttribute) | Mid-level-ontology.kif 1945-1945 | The number 2 argument of device state is an instance of device state attribute |
| (instance deviceState BinaryPredicate) | Mid-level-ontology.kif 1943-1943 | device state is an instance of binary predicate |
| (subrelation deviceState attribute) | Mid-level-ontology.kif 1946-1946 | device state is a subrelation of attribute |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage deviceState "%2 %n 是 %1 的 device 状态") | domainEnglishFormat.kif 732-732 | |
| (format ChineseTraditionalLanguage deviceState "%2 %n 是 %1 的 device 狀態") | domainEnglishFormat.kif 731-731 | |
| (format EnglishLanguage deviceState "%2 is %n a device state of %1") | domainEnglishFormat.kif 730-730 | |
| (termFormat ChineseLanguage deviceState "设备状态") | domainEnglishFormat.kif 19383-19383 | |
| (termFormat ChineseTraditionalLanguage deviceState "設備狀態") | domainEnglishFormat.kif 19382-19382 | |
| (termFormat EnglishLanguage deviceState "device state") | domainEnglishFormat.kif 19381-19381 |
|
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