Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 2450-2451 | |
| (instance deviceState BinaryPredicate) | Mid-level-ontology.kif 2452-2452 | device state is an instance of binary predicate |
| (domain deviceState 1 Object) | Mid-level-ontology.kif 2453-2453 | The number 1 argument of device state is an instance of object |
| (domain deviceState 2 DeviceStateAttribute) | Mid-level-ontology.kif 2454-2454 | The number 2 argument of device state is an instance of device state attribute |
| (subrelation deviceState attribute) | Mid-level-ontology.kif 2455-2455 | device state is a subrelation of attribute |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage deviceState "%2 is %n a device state of %1") | domainEnglishFormat.kif 730-730 | |
| (format ChineseTraditionalLanguage deviceState "%2 %n 是 %1 的 device 狀態") | domainEnglishFormat.kif 731-731 | |
| (format ChineseLanguage deviceState "%2 %n 是 %1 的 device 状态") | domainEnglishFormat.kif 732-732 | |
| (termFormat EnglishLanguage deviceState "device state") | domainEnglishFormat.kif 19368-19368 | |
| (termFormat ChineseTraditionalLanguage deviceState "設備狀態") | domainEnglishFormat.kif 19369-19369 | |
| (termFormat ChineseLanguage deviceState "设备状态") | domainEnglishFormat.kif 19370-19370 |
|