| ComputerDirectory(computer directory) | | directory, subdirectory |
| appearance as argument number 1 |
|
|
| (documentation ComputerDirectory EnglishLanguage "This is the class of catalogs that identify and locate instances of ComputerFiles. The catalog's entries consist of at least ComputerFile names and a physical address on a memory device of the ComputerFile or an index (e.g., file descriptor) into a table of ComputerFile physical addresses. ComputerDirectories are thus collections of data elements and must be named and stored on memory devices, hence, ComputerDirectory is a subset of ComputerFile.") | QoSontology.kif 178-184 | |
| (lexicon ComputerDirectory LexNoun "directory") | engineering.kif 1339-1339 | |
| (lexicon ComputerDirectory LexNoun "folder") | engineering.kif 1338-1338 | |
| (subclass ComputerDirectory ComputerFile) | QoSontology.kif 177-177 | Computer directory is a subclass of computer file |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComputerDirectory "电脑目录") | domainEnglishFormat.kif 16306-16306 | |
| (termFormat ChineseTraditionalLanguage ComputerDirectory "電腦目錄") | domainEnglishFormat.kif 16305-16305 | |
| (termFormat EnglishLanguage ComputerDirectory "computer directory") | domainEnglishFormat.kif 16304-16304 |
| appearance as argument number 3 |
|
|
| (domain directoryOf 2 ComputerDirectory) | QoSontology.kif 216-216 | The number 2 argument of directory of is an instance of computer directory |
| antecedent |
|
|
| (=> (and (instance ?Directory ComputerDirectory) (instance ?File ComputerFile) (directoryOf ?File ?Directory)) (refers (AddressFn ?File) ?Directory)) |
QoSontology.kif 231-236 |
|
| (=> (and (instance ?F ComputerDirectory) (member ?M ?F)) (instance ?M ComputerFile)) |
engineering.kif 1351-1355 |
|
| consequent |
|
|
| (=> (instance ?F FolderIcon) (hasPurpose ?F (exists (?CD) (and (instance ?CD ComputerDirectory) (represents ?F ?CD))))) |
ComputingBrands.kif 3015-3021 |
|
|
|
|