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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerDirectory

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 1338-1338
(lexicon ComputerDirectory LexNoun "folder") engineering.kif 1337-1337
(subclass ComputerDirectory ComputerFile) QoSontology.kif 177-177

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


(termFormat ChineseLanguage ComputerDirectory "电脑目录") domainEnglishFormat.kif 16276-16276
(termFormat ChineseTraditionalLanguage ComputerDirectory "電腦目錄") domainEnglishFormat.kif 16275-16275
(termFormat EnglishLanguage ComputerDirectory "computer directory") domainEnglishFormat.kif 16274-16274

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 1350-1354

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


(=>
    (instance ?F FolderIcon)
    (hasPurpose ?F
        (exists (?CD)
            (and
                (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