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