Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  DeviceFirmwareUpdateMode
|
|
|
| appearance as argument number 1 |
|
|
| (instance DeviceFirmwareUpdateMode ComputerStatus) | ComputingBrands.kif 2505-2505 | DFU Mode is an instance of computer status |
| (documentation DeviceFirmwareUpdateMode EnglishLanguage "A complex series of keypresses allows an AppleComputer to enter a mode where its Firmware can be updated.") | ComputingBrands.kif 2507-2508 | DFU Mode is an instance of computer status |
| (documentation DeviceFirmwareUpdateMode ChineseTraditionalLanguage "一連串按鍵的組合允許 AppleComputer 進入一個 Firmware 能被跟新的模式。") | ComputingBrands.kif 2509-2510 | DFU Mode is an instance of computer status |
| (documentation DeviceFirmwareUpdateMode ChineseLanguage "一连串按键的组合允许 AppleComputer 进入一个 Firmware 能被跟新的模式。") | ComputingBrands.kif 2512-2513 | DFU Mode is an instance of computer status |
| (documentation DeviceFirmwareUpdateMode JapaneseLanguage "＆％AppleComputerは一連の複雑な キー入力をすると、Firmwareが 更新されるモードを入力する。") | ComputingBrands.kif 2515-2516 | DFU Mode is an instance of computer status |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?C DeviceFirmwareUpdateMode) (instance ?C AppleComputer)) |
ComputingBrands.kif 2528-2530 | If DFU Mode is an attribute of X, then X is an instance of Apple Computer |
|