deviceState |
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 1868-1869 | |
(domain deviceState 1 Object) | Mid-level-ontology.kif 1871-1871 | The number 1 argument of device state is an instance of object |
(domain deviceState 2 DeviceStateAttribute) | Mid-level-ontology.kif 1872-1872 | The number 2 argument of device state is an instance of device state attribute |
(instance deviceState BinaryPredicate) | Mid-level-ontology.kif 1870-1870 | device state is an instance of binary predicate |
(subrelation deviceState attribute) | Mid-level-ontology.kif 1873-1873 | 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 19384-19384 | |
(termFormat ChineseTraditionalLanguage deviceState "設備狀態") | domainEnglishFormat.kif 19383-19383 | |
(termFormat EnglishLanguage deviceState "device state") | domainEnglishFormat.kif 19382-19382 |