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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 1338-1338
(lexicon ComputerDirectory LexNoun "folder") engineering.kif 1337-1337
(subclass ComputerDirectory ComputerFile) QoSontology.kif 177-177 ComputerDirectory est une sous-classe de ComputerFile

appearance as argument number 2

(termFormat ChineseLanguage ComputerDirectory "电脑目录") domainEnglishFormat.kif 16287-16287
(termFormat ChineseTraditionalLanguage ComputerDirectory "電腦目錄") domainEnglishFormat.kif 16286-16286
(termFormat EnglishLanguage ComputerDirectory "computer directory") domainEnglishFormat.kif 16285-16285

appearance as argument number 3

(domain directoryOf 2 ComputerDirectory) QoSontology.kif 216-216 Le nombre 2 argument de directoryOf est une instance de ComputerDirectory


        (instance ?Directory ComputerDirectory)
        (instance ?File ComputerFile)
        (directoryOf ?File ?Directory))
        (AddressFn ?File) ?Directory))
QoSontology.kif 231-236
        (instance ?F ComputerDirectory)
        (member ?M ?F))
    (instance ?M ComputerFile))
engineering.kif 1350-1354


    (instance ?F FolderIcon)
    (hasPurpose ?F
        (exists (?CD)
                (instance ?CD ComputerDirectory)
                (represents ?F ?CD)))))
ComputingBrands.kif 3015-3021

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

Show without tree

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