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 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 | ComputerDirectory è una sottoclasse di ComputerFile |
appearance as argument number 2 |
(termFormat ChineseLanguage ComputerDirectory "电脑目录") | domainEnglishFormat.kif 16290-16290 | |
(termFormat ChineseTraditionalLanguage ComputerDirectory "電腦目錄") | domainEnglishFormat.kif 16289-16289 | |
(termFormat EnglishLanguage ComputerDirectory "computer directory") | domainEnglishFormat.kif 16288-16288 |
appearance as argument number 3 |
(domain directoryOf 2 ComputerDirectory) | QoSontology.kif 216-216 | Il numero 2 argomenti di directoryOf è un istanza di ComputerDirectory |
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 |
|