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
-------------------------


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

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


(subclass AudioFile ComputerFile) Media.kif 1454-1454 AudioFile is a subclass of computer file
(subclass ComputerDirectory ComputerFile) QoSontology.kif 175-175 Computer directory is a subclass of computer file
(subclass ImageFile ComputerFile) Media.kif 1427-1427 Image file is a subclass of computer file
(subclass MultimediaFile ComputerFile) Media.kif 1414-1414 MultimediaFile is a subclass of computer file
(subclass SoftwareFile ComputerFile) Media.kif 1505-1505 SoftwareFile is a subclass of computer file
(subclass XMLFile ComputerFile) Media.kif 1473-1473 XMLFile is a subclass of computer file
(termFormat ChineseLanguage ComputerFile "电脑文件") domainEnglishFormat.kif 16293-16293
(termFormat ChineseTraditionalLanguage ComputerFile "電腦文件") domainEnglishFormat.kif 16292-16292
(termFormat EnglishLanguage ComputerFile "computer file") domainEnglishFormat.kif 16291-16291

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


(domain AddressFn 1 ComputerFile) QoSontology.kif 221-221 The number 1 argument of address is an instance of computer file
(domain directoryOf 1 ComputerFile) QoSontology.kif 213-213 The number 1 argument of directory of is an instance of computer file
(domain programCopy 1 ComputerFile) QoSontology.kif 634-634 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 2757-2768
(=>
    (and
        (instance ?Directory ComputerDirectory)
        (instance ?File ComputerFile)
        (directoryOf ?File ?Directory))
    (refers
        (AddressFn ?File) ?Directory))
QoSontology.kif 229-234

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


(=>
    (and
        (instance ?F ComputerDirectory)
        (member ?M ?F))
    (instance ?M ComputerFile))
engineering.kif 1350-1354
(=>
    (and
        (instance ?FS FileSystem)
        (member ?M ?FS))
    (instance ?M ComputerFile))
engineering.kif 1343-1347
(=>
    (instance ?ACT DownloadingRequest)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 1843-1848
(=>
    (instance ?ACT UploadingRequest)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 1855-1860
(=>
    (instance ?PACK SoftwarePackage)
    (exists (?FILE)
        (and
            (instance ?FILE ComputerFile)
            (part ?FILE ?PACK))))
ComputerInput.kif 826-831


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