No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 76-76 | HardDiskDrive est une sous-classe de ComputerComponent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 77-77 | HardDiskDrive est une sous-classe de DigitalDataStorageDevice |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 762-762 | HardDiskDrive est une sous-classe de DiskDrive |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 747-747 | ExternalHardDiskDrive est une sous-classe de HardDiskDrive |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 756-756 | CartridgeHardDiskDrive est une sous-classe de HardDiskDrive |