InternalDigitalDataStorageDevice |
appearance as argument number 1 |
(disjoint InternalDigitalDataStorageDevice RemovableDigitalDataStorageDevice) | ComputerInput.kif 655-655 | InternalDigitalDataStorageDevice と RemovableDigitalDataStorageDevice は disjoint では %n |
(documentation InternalDigitalDataStorageDevice EnglishLanguage "A type of DigitalDataStorageDevice that is installed in a Computer and not readily removable.") | ComputerInput.kif 649-650 | |
(subclass InternalDigitalDataStorageDevice DigitalDataStorageDevice) | ComputerInput.kif 648-648 | InternalDigitalDataStorageDevice は DigitalDataStorageDevice の subclass では %n |
appearance as argument number 2 |
(subclass InternalHardDisk InternalDigitalDataStorageDevice) | ComputerInput.kif 671-671 | InternalHardDisk は InternalDigitalDataStorageDevice の subclass では %n |
(termFormat EnglishLanguage InternalDigitalDataStorageDevice "internal digital data storage device") | domainEnglishFormat.kif 65038-65038 |