Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerDirectory
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 176-182
(lexicon ComputerDirectory LexNoun "directory") engineering.kif 1338-1338
(lexicon ComputerDirectory LexNoun "folder") engineering.kif 1337-1337
(subclass ComputerDirectory ComputerFile) QoSontology.kif 175-175 Computer directory is a subclass of computer file

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage ComputerDirectory "电脑目录") domainEnglishFormat.kif 16281-16281
(termFormat ChineseTraditionalLanguage ComputerDirectory "電腦目錄") domainEnglishFormat.kif 16280-16280
(termFormat EnglishLanguage ComputerDirectory "computer directory") domainEnglishFormat.kif 16279-16279

appearance as argument number 3
-------------------------


(domain directoryOf 2 ComputerDirectory) QoSontology.kif 214-214 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 229-234
(=>
    (and
        (instance ?F ComputerDirectory)
        (member ?M ?F))
    (instance ?M ComputerFile))
engineering.kif 1350-1354

consequent
-------------------------


(=>
    (instance ?F FolderIcon)
    (hasPurpose ?F
        (exists (?CD)
            (and
                (instance ?CD ComputerDirectory)
                (represents ?F ?CD)))))
ComputingBrands.kif 2983-2989


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners