| ComputerDirectory | |
| 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 179-185 | |
| (lexicon ComputerDirectory LexNoun "directory") | engineering.kif 1652-1652 | |
| (lexicon ComputerDirectory LexNoun "folder") | engineering.kif 1651-1651 | |
| (subclass ComputerDirectory ComputerFile) | QoSontology.kif 178-178 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComputerDirectory "电脑目录") | domainEnglishFormat.kif 16305-16305 | |
| (termFormat ChineseTraditionalLanguage ComputerDirectory "電腦目錄") | domainEnglishFormat.kif 16304-16304 | |
| (termFormat EnglishLanguage ComputerDirectory "computer directory") | domainEnglishFormat.kif 16303-16303 |
| appearance as argument number 3 |
|
|
| (domain directoryOf 2 ComputerDirectory) | QoSontology.kif 217-217 |
| antecedent |
|
|
| (=> (and (instance ?Directory ComputerDirectory) (instance ?File ComputerFile) (directoryOf ?File ?Directory)) (refers (AddressFn ?File) ?Directory)) |
QoSontology.kif 232-237 | |
| (=> (and (instance ?F ComputerDirectory) (member ?M ?F)) (instance ?M ComputerFile)) |
engineering.kif 1664-1668 |
| consequent |
|
|
| (=> (instance ?F FolderIcon) (hasPurpose ?F (exists (?CD) (and (instance ?CD ComputerDirectory) (represents ?F ?CD))))) |
ComputingBrands.kif 3015-3021 |
|
|
|