TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ComputerDirectory ComputerFile)	QoSontology.kif 172-172	Computer directory is a subclass of computer file
(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 173-179	Computer directory is a subclass of computer file
(lexicon ComputerDirectory LexNoun "folder")	engineering.kif 1763-1763	Computer directory is a subclass of computer file
(lexicon ComputerDirectory LexNoun "directory")	engineering.kif 1764-1764	Computer directory is a subclass of computer file

appearance as argument number 2

(termFormat EnglishLanguage ComputerDirectory "computer directory")	domainEnglishFormat.kif 16290-16290
(termFormat ChineseTraditionalLanguage ComputerDirectory "電腦目錄")	domainEnglishFormat.kif 16291-16291
(termFormat ChineseLanguage ComputerDirectory "电脑目录")	domainEnglishFormat.kif 16292-16292

appearance as argument number 3

(domain directoryOf 2 ComputerDirectory)

antecedent

(=> (and (instance ?Directory ComputerDirectory) (instance ?File ComputerFile) (directoryOf ?File ?Directory)) (refers (AddressFn ?File) ?Directory))	QoSontology.kif 226-231	If X is an instance of computer directory, Y is an instance of computer file, and X is a directory of Y, then the address of Y includes a reference to X
(=> (and (instance ?F ComputerDirectory) (member ?M ?F)) (instance ?M ComputerFile))	engineering.kif 1776-1780	If X is an instance of computer directory and Y is a member of X, then Y is an instance of computer file

consequent

(=>
    (instance ?F FolderIcon)
    (hasPurpose ?F
        (exists (?CD)
            (and
                (instance ?CD ComputerDirectory)
                (represents ?F ?CD)))))

If X is an instance of folder, then X has the purpose there exists Y such that Y is an instance of computer directory and X expresses Y