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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerDirectory
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

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

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


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