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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerFile
ComputerFile

appearance as argument number 1
-------------------------


(documentation ComputerFile EnglishLanguage "A collection of bytes stored as an individual entity. All data on disk is stored as a file with an assigned file name that is unique within the folder (directory) it resides in.") QoSontology.kif 170-173
(lexicon ComputerFile LexNoun "file") engineering.kif 1340-1340
(subclass ComputerFile ContentBearingObject) engineering.kif 1339-1339
(subclass ComputerFile DigitalData) QoSontology.kif 169-169

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


(subclass AudioFile ComputerFile) Media.kif 1458-1458
(subclass ComputerDirectory ComputerFile) QoSontology.kif 175-175
(subclass ImageFile ComputerFile) Media.kif 1431-1431
(subclass MultimediaFile ComputerFile) Media.kif 1418-1418
(subclass SoftwareFile ComputerFile) Media.kif 1509-1509
(subclass XMLFile ComputerFile) Media.kif 1477-1477
(termFormat ChineseLanguage ComputerFile "电脑文件") domainEnglishFormat.kif 16225-16225
(termFormat ChineseTraditionalLanguage ComputerFile "電腦文件") domainEnglishFormat.kif 16224-16224
(termFormat EnglishLanguage ComputerFile "computer file") domainEnglishFormat.kif 16223-16223

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


(domain AddressFn 1 ComputerFile) QoSontology.kif 221-221
(domain directoryOf 1 ComputerFile) QoSontology.kif 213-213
(domain programCopy 1 ComputerFile) QoSontology.kif 634-634

antecedent
-------------------------


(=>
    (and
        (instance ?ACT DownloadingNonAudioVideoImageUserFile)
        (patient ?ACT ?FILE)
        (instance ?FILE ComputerFile))
    (and
        (not
            (instance ?FILE ImageFile))
        (not
            (instance ?FILE AudioFile))
        (not
            (instance ?FILE MultimediaFile))))
ComputerInput.kif 2772-2783
(=>
    (and
        (instance ?Directory ComputerDirectory)
        (instance ?File ComputerFile)
        (directoryOf ?File ?Directory))
    (refers
        (AddressFn ?File) ?Directory))
QoSontology.kif 229-234

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


(=>
    (and
        (instance ?F ComputerDirectory)
        (member ?M ?F))
    (instance ?M ComputerFile))
engineering.kif 1350-1354
(=>
    (and
        (instance ?FS FileSystem)
        (member ?M ?FS))
    (instance ?M ComputerFile))
engineering.kif 1343-1347
(=>
    (instance ?ACT DownloadingOverNetwork)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 2698-2703
(=>
    (instance ?ACT DownloadingRequest)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 1861-1866
(=>
    (instance ?ACT UploadingOverNetwork)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 2790-2795
(=>
    (instance ?ACT UploadingRequest)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 1873-1878
(=>
    (instance ?PACK SoftwarePackage)
    (exists (?FILE)
        (and
            (instance ?FILE ComputerFile)
            (part ?FILE ?PACK))))
ComputerInput.kif 855-860


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners