| ComputerFile | | ASCII_text_file, computer_file, document, text_file |
| appearance as argument number 1 |
|
|
| s__documentation(s__ComputerFile,s__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 | |
| s__lexicon(s__ComputerFile,s__LexNoun,'file')
|
engineering.kif 1336-1336 | |
| s__subclass(s__ComputerFile,s__ContentBearingObject)
|
engineering.kif 1335-1335 | |
| s__instance(s__DigitalData,s__SetOrClass)
|
QoSontology.kif 166-166 |
| appearance as argument number 2 |
|
|
| s__instance(s__ComputerFile,s__SetOrClass)
|
Media.kif 1458-1458 | |
| s__instance(s__ComputerDirectory,s__SetOrClass)
|
QoSontology.kif 172-172 | |
| s__instance(s__ComputerFile,s__SetOrClass)
|
Media.kif 1431-1431 | |
| s__instance(s__ComputerFile,s__SetOrClass)
|
Media.kif 1418-1418 | |
| s__instance(s__ComputerFile,s__SetOrClass)
|
Media.kif 1509-1509 | |
| s__instance(s__ComputerFile,s__SetOrClass)
|
Media.kif 1477-1477 | |
| s__termFormat(s__EnglishLanguage,s__ComputerFile,'computer file')
|
domainEnglishFormat.kif 3138-3138 |
| appearance as argument number 3 |
|
|
| s__domain(s__AddressFn__m,1,s__ComputerFile)
|
QoSontology.kif 218-218 | |
| s__domain(s__directoryOf__m,1,s__ComputerFile)
|
QoSontology.kif 210-210 | |
| s__domain(s__programCopy__m,1,s__ComputerFile)
|
QoSontology.kif 617-617 |
| antecedent |
|
|
| ( ! [V__ACT,V__FILE] : ((s__instance(V__ACT,s__DownloadingNonAudioVideoImageUserFile) & s__patient(V__ACT,V__FILE) & s__instance(V__FILE,s__ComputerFile)) => ((~ s__instance(V__FILE,s__ImageFile)) & (~ s__instance(V__FILE,s__AudioFile)) & (~ s__instance(V__FILE,s__MultimediaFile)))) )
|
ComputerInput.kif 2294-2305 | |
| ( ! [V__Directory,V__File] : ((s__instance(V__Directory,s__ComputerDirectory) & s__instance(V__File,s__ComputerFile) & s__directoryOf(V__File,V__Directory)) => s__refers(s__AddressFn(V__File) ,V__Directory)) )
|
QoSontology.kif 226-231 |
| consequent |
|
|
| ( ! [V__F,V__M] : ((s__instance(V__F,s__ComputerDirectory) & s__member(V__M,V__F)) => s__instance(V__M,s__ComputerFile)) )
|
engineering.kif 1346-1350 | |
| ( ! [V__FS,V__M] : ((s__instance(V__FS,s__FileSystem) & s__member(V__M,V__FS)) => s__instance(V__M,s__ComputerFile)) )
|
engineering.kif 1339-1343 | |
| ( ! [V__ACT] : (s__instance(V__ACT,s__DownloadingOverNetwork) => (? [V__FILE] : (s__patient(V__ACT,V__FILE) & s__instance(V__FILE,s__ComputerFile)))) )
|
ComputerInput.kif 2236-2241 | |
| ( ! [V__ACT] : (s__instance(V__ACT,s__DownloadingRequest) => (? [V__FILE] : (s__patient(V__ACT,V__FILE) & s__instance(V__FILE,s__ComputerFile)))) )
|
ComputerInput.kif 1496-1501 | |
| ( ! [V__ACT] : (s__instance(V__ACT,s__UploadingOverNetwork) => (? [V__FILE] : (s__patient(V__ACT,V__FILE) & s__instance(V__FILE,s__ComputerFile)))) )
|
ComputerInput.kif 2310-2315 | |
| ( ! [V__ACT] : (s__instance(V__ACT,s__UploadingRequest) => (? [V__FILE] : (s__patient(V__ACT,V__FILE) & s__instance(V__FILE,s__ComputerFile)))) )
|
ComputerInput.kif 1507-1512 | |
| ( ! [V__DOWNLOAD,V__STORAGEDEVICE] : (s__instance(V__DOWNLOAD,s__Downloading) => (? [V__FILE,V__COMPUTER] : (s__instance(V__DOWNLOAD,s__Transfer) & (s__instance(V__FILE,s__ComputerFile) | s__instance(V__FILE,s__ComputerProgram)) & s__instance(V__COMPUTER,s__Computer) & s__instance(V__STORAGEDEVICE,s__DigitalDataStorageDevice) & s__patient(V__DOWNLOAD,V__FILE) & s__agent(V__DOWNLOAD,V__COMPUTER) & s__origin(V__DOWNLOAD,V__STORAGEDEVICE) & s__destination(V__DOWNLOAD,V__COMPUTER)))) )
|
Facebook.kif 505-518 | |
| ( ! [V__PACK] : (s__instance(V__PACK,s__SoftwarePackage) => (? [V__FILE] : (s__instance(V__FILE,s__ComputerFile) & s__part(V__FILE,V__PACK)))) )
|
ComputerInput.kif 703-708 | |
| ( ! [V__UPLOAD,V__STORAGEDEVICE] : (s__instance(V__UPLOAD,s__Uploading) => (? [V__FILE,V__COMPUTER] : (s__instance(V__UPLOAD,s__Transfer) & (s__instance(V__FILE,s__ComputerFile) | s__instance(V__FILE,s__ComputerProgram)) & s__instance(V__COMPUTER,s__Computer) & s__instance(V__STORAGEDEVICE,s__DigitalDataStorageDevice) & s__patient(V__UPLOAD,V__FILE) & s__agent(V__UPLOAD,V__COMPUTER) & s__origin(V__UPLOAD,V__COMPUTER) & s__destination(V__UPLOAD,V__STORAGEDEVICE)))) )
|
Facebook.kif 479-492 |
|
|
|