Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DiskDrive(disk drive) |
| appearance as argument number 1 |
|
| (subclass DiskDrive ComputerComponent) | ComputerInput.kif 746-746 | Disk drive is a subclass of computer component |
| (subclass DiskDrive ComputerIODevice) | ComputerInput.kif 747-747 | Disk drive is a subclass of computer I/O device |
| (documentation DiskDrive EnglishLanguage "A device that can read and (often) write ComputerDisks.") | ComputerInput.kif 749-749 | Disk drive is a subclass of computer I/O device |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass diskTypeForDrive 2 DiskDrive) | ComputerInput.kif 753-753 | The number 2 argument of disk type for drive is a subclass of disk drive |
|