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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerFile
ComputerFileASCII_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


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