Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerFile
ComputerFile(computer file)ASCII_text_file, computer_file, document, text_file

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


(subclass ComputerFile DigitalData) QoSontology.kif 166-166 Computer file is a subclass of digital data
(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 Computer file is a subclass of digital data
(lexicon ComputerFile LexNoun "file") engineering.kif 1766-1766 Computer file is a subclass of digital data

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


(subclass MultimediaFile ComputerFile) Media.kif 1361-1361 Multimedia file is a subclass of computer file
(subclass ImageFile ComputerFile) Media.kif 1374-1374 Image file is a subclass of computer file
(subclass AudioFile ComputerFile) Media.kif 1401-1401 Audio file is a subclass of computer file
(subclass XMLFile ComputerFile) Media.kif 1420-1420 XML file is a subclass of computer file
(subclass SoftwareFile ComputerFile) Media.kif 1466-1466 Software file is a subclass of computer file
(subclass ComputerDirectory ComputerFile) QoSontology.kif 172-172 Computer directory is a subclass of computer file
(termFormat EnglishLanguage ComputerFile "computer file") domainEnglishFormat.kif 16302-16302 Computer directory is a subclass of computer file
(termFormat ChineseTraditionalLanguage ComputerFile "電腦文件") domainEnglishFormat.kif 16303-16303 Computer directory is a subclass of computer file
(termFormat ChineseLanguage ComputerFile "电脑文件") domainEnglishFormat.kif 16304-16304 Computer directory is a subclass of computer file

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


(domain directoryOf 1 ComputerFile) QoSontology.kif 210-210 The number 1 argument of directory of is an instance of computer file
(domain AddressFn 1 ComputerFile) QoSontology.kif 218-218 The number 1 argument of address is an instance of computer file
(domain programCopy 1 ComputerFile) QoSontology.kif 731-731 The number 1 argument of program copy is an instance of computer file

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 2777-2788 If X is an instance of downloading non audio video image user file, Y is a patient of X, and Y is an instance of computer file, then Y is not an instance of image file, Y is not an instance of audio file, and Y is not an instance of multimedia file
(=>
    (and
        (instance ?Directory ComputerDirectory)
        (instance ?File ComputerFile)
        (directoryOf ?File ?Directory))
    (refers
        (AddressFn ?File) ?Directory))		 QoSontology.kif 226-231 If X is an instance of computer directory, Y is an instance of computer file, and X is a directory of Y, then the address of Y includes a reference to X

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


(=>
    (instance ?PACK SoftwarePackage)
    (exists (?FILE)
        (and
            (instance ?FILE ComputerFile)
            (part ?FILE ?PACK))))		 ComputerInput.kif 842-847 If X is an instance of software package, then there exists Y such that Y is an instance of computer file and Y is a part of X
(=>
    (instance ?ACT DownloadingRequest)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))		 ComputerInput.kif 1862-1867 If X is an instance of downloading request, then there exists Y such that Y is a patient of X and Y is an instance of computer file
(=>
    (instance ?ACT UploadingRequest)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))		 ComputerInput.kif 1874-1879 If X is an instance of uploading request, then there exists Y such that Y is a patient of X and Y is an instance of computer file
(=>
    (instance ?UPLOAD Uploading)
    (exists (?FILE ?COMPUTER ?STORAGEDEVICE)
        (and
            (instance ?UPLOAD Transfer)
            (or
                (instance ?FILE ComputerFile)
                (instance ?FILE ComputerProgram))
            (instance ?COMPUTER Computer)
            (instance ?STORAGEDEVICE DigitalDataStorageDevice)
            (patient ?UPLOAD ?FILE)
            (agent ?UPLOAD ?COMPUTER)
            (origin ?UPLOAD ?COMPUTER)
            (destination ?UPLOAD ?STORAGEDEVICE))))		 Facebook.kif 487-500 If X is an instance of uploading, then All of the following hold: (1) there exist Y, Z (2) W such that X is an instance of transfer (3) Y is an instance of computer file or Y is an instance of computer program (4) Z is an instance of computer (5) W is an instance of digital data storage device (6) Y is a patient of X (7) Z is an agent of X (8) X originates at Z (9) X ends up at W
(=>
    (instance ?DOWNLOAD Downloading)
    (exists (?FILE ?COMPUTER ?STORAGEDEVICE)
        (and
            (instance ?DOWNLOAD Transfer)
            (or
                (instance ?FILE ComputerFile)
                (instance ?FILE ComputerProgram))
            (instance ?COMPUTER Computer)
            (instance ?STORAGEDEVICE DigitalDataStorageDevice)
            (patient ?DOWNLOAD ?FILE)
            (agent ?DOWNLOAD ?COMPUTER)
            (origin ?DOWNLOAD ?STORAGEDEVICE)
            (destination ?DOWNLOAD ?COMPUTER))))		 Facebook.kif 513-526 If X is an instance of downloading, then All of the following hold: (1) there exist Y, Z (2) W such that X is an instance of transfer (3) Y is an instance of computer file or Y is an instance of computer program (4) Z is an instance of computer (5) W is an instance of digital data storage device (6) Y is a patient of X (7) Z is an agent of X (8) X originates at W (9) X ends up at Z
(=>
    (and
        (instance ?FS FileSystem)
        (member ?M ?FS))
    (instance ?M ComputerFile))		 engineering.kif 1769-1773 If X is an instance of file system and Y is a member of X, then Y is an instance of computer file
(=>
    (and
        (instance ?F ComputerDirectory)
        (member ?M ?F))
    (instance ?M ComputerFile))		 engineering.kif 1776-1780 If X is an instance of computer directory and Y is a member of X, then Y is an instance of computer file


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners