| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 730-730 | Disk drive is a subclass of computer component |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 731-731 | Disk drive is a subclass of computer I/O device |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 742-742 | External disk drive is a subclass of disk drive |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 752-752 | Disk drive with removable disks is a subclass of disk drive |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 762-762 | Hard disk drive is a subclass of disk drive |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 770-770 | Optical disc drive is a subclass of disk drive |
|
|