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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerFile

Sigma KEE - ComputerFile
ComputerFile(computer file)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 170-173
s__lexicon(s__ComputerFile,s__LexNoun,'"file"')

engineering.kif 1340-1340
s__instance(s__DigitalData,s__Class)

s__subclass(s__ComputerFile,s__DigitalData)

s__instance(s__ComputerFile,s__Class)

QoSontology.kif 169-169 Computer file is a subclass of digital data

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


s__instance(s__AudioFile,s__Class)

s__subclass(s__AudioFile,s__ComputerFile)

s__instance(s__ComputerFile,s__Class)

Media.kif 1458-1458 AudioFile is a subclass of computer file
s__subclass(s__ComputerDirectory,s__ComputerFile)

s__instance(s__ComputerDirectory,s__Class)

s__instance(s__ComputerFile,s__Class)

QoSontology.kif 175-175 Computer directory is a subclass of computer file
s__instance(s__ImageFile,s__Class)

s__subclass(s__ImageFile,s__ComputerFile)

s__instance(s__ComputerFile,s__Class)

Media.kif 1431-1431 Image file is a subclass of computer file
s__subclass(s__MultimediaFile,s__ComputerFile)

s__instance(s__MultimediaFile,s__Class)

s__instance(s__ComputerFile,s__Class)

Media.kif 1418-1418 MultimediaFile is a subclass of computer file
s__instance(s__SoftwareFile,s__Class)

s__subclass(s__SoftwareFile,s__ComputerFile)

s__instance(s__ComputerFile,s__Class)

Media.kif 1509-1509 SoftwareFile is a subclass of computer file
s__instance(s__XMLFile,s__Class)

s__subclass(s__XMLFile,s__ComputerFile)

s__instance(s__ComputerFile,s__Class)

Media.kif 1477-1477 XMLFile is a subclass of computer file
s__termFormat(s__ChineseLanguage,s__ComputerFile,'"电脑文件"')

domainEnglishFormat.kif 16293-16293
s__termFormat(s__ChineseTraditionalLanguage,s__ComputerFile,'"電腦文件"')

domainEnglishFormat.kif 16292-16292
s__termFormat(s__EnglishLanguage,s__ComputerFile,'"computer file"')

domainEnglishFormat.kif 16291-16291

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


s__domain(s__AddressFn__m,n__1,s__ComputerFile)

QoSontology.kif 221-221 The number 1 argument of address is an instance of computer file
s__domain(s__directoryOf__m,n__1,s__ComputerFile)

QoSontology.kif 213-213 The number 1 argument of directory of is an instance of computer file
s__domain(s__programCopy__m,n__1,s__ComputerFile)

QoSontology.kif 634-634 The number 1 argument of program copy is an instance of computer file

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


( ! [V__FILE,V__ACT] :
   (((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 2789-2800
( ! [V__File,V__Directory] :
   (((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 229-234

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


( ! [V__F,V__M] :
   ((s__instance(V__M,s__Physical) =>
       (((s__instance(V__F,s__ComputerDirectory) &
             s__member(V__M,V__F))
         =>
         (s__instance(V__M,s__ComputerFile)))))
   )
)

engineering.kif 1350-1354
( ! [V__FS,V__M] :
   ((s__instance(V__M,s__Physical) =>
       (((s__instance(V__FS,s__FileSystem) &
             s__member(V__M,V__FS))
         =>
         (s__instance(V__M,s__ComputerFile)))))
   )
)

engineering.kif 1343-1347
( ! [V__ACT] :
   ((s__instance(V__ACT,s__DownloadingRequest) =>
       (( ? [V__FILE] :
           ((s__patient(V__ACT,V__FILE)
             &
             s__instance(V__FILE,s__ComputerFile))))))
   )
)

ComputerInput.kif 1875-1880
( ! [V__ACT] :
   ((s__instance(V__ACT,s__UploadingRequest) =>
       (( ? [V__FILE] :
           ((s__patient(V__ACT,V__FILE)
             &
             s__instance(V__FILE,s__ComputerFile))))))
   )
)

ComputerInput.kif 1887-1892
( ! [V__PACK] :
   ((s__instance(V__PACK,s__SoftwarePackage) =>
       (( ? [V__FILE] :
           ((s__instance(V__FILE,s__ComputerFile) &
               s__part(V__FILE,V__PACK))))))
   )
)

ComputerInput.kif 855-860


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