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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerFile

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 167-170
(lexicon ComputerFile LexNoun "file") engineering.kif 1336-1336
(subclass ComputerFile ContentBearingObject) engineering.kif 1335-1335
(subclass ComputerFile DigitalData) QoSontology.kif 166-166

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


(subclass AudioFile ComputerFile) Media.kif 1458-1458
(subclass ComputerDirectory ComputerFile) QoSontology.kif 172-172
(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 EnglishLanguage ComputerFile "computer file") domainEnglishFormat.kif 3138-3138

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


(domain AddressFn 1 ComputerFile) QoSontology.kif 218-218
(domain directoryOf 1 ComputerFile) QoSontology.kif 210-210
(domain programCopy 1 ComputerFile) QoSontology.kif 632-632

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 2245-2256
(=>
    (and
        (instance ?Directory ComputerDirectory)
        (instance ?File ComputerFile)
        (directoryOf ?File ?Directory))
    (refers
        (AddressFn ?File) ?Directory))
QoSontology.kif 226-231

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


(=>
    (and
        (instance ?F ComputerDirectory)
        (member ?M ?F))
    (instance ?M ComputerFile))
engineering.kif 1346-1350
(=>
    (and
        (instance ?FS FileSystem)
        (member ?M ?FS))
    (instance ?M ComputerFile))
engineering.kif 1339-1343
(=>
    (instance ?ACT DownloadingOverNetwork)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 2187-2192
(=>
    (instance ?ACT DownloadingRequest)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 1447-1452
(=>
    (instance ?ACT UploadingOverNetwork)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 2261-2266
(=>
    (instance ?ACT UploadingRequest)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 1458-1463
(=>
    (instance ?PACK SoftwarePackage)
    (exists (?FILE)
        (and
            (instance ?FILE ComputerFile)
            (part ?FILE ?PACK))))
ComputerInput.kif 654-659


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