Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(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
(lexicon ComputerFile LexNoun "file") engineering.kif 1336-1336 The lex noun word for computer file is "file"
(subclass ComputerFile ContentBearingObject) engineering.kif 1335-1335 Computer file is a subclass of content bearing object
(subclass ComputerFile DigitalData) QoSontology.kif 166-166 Computer file is a subclass of digital data

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


(subclass AudioFile ComputerFile) Media.kif 1458-1458 AudioFile is a subclass of computer file
(subclass ComputerDirectory ComputerFile) QoSontology.kif 172-172 Computer directory is a subclass of computer file
(subclass ImageFile ComputerFile) Media.kif 1431-1431 Image file is a subclass of computer file
(subclass MultimediaFile ComputerFile) Media.kif 1418-1418 MultimediaFile is a subclass of computer file
(subclass SoftwareFile ComputerFile) Media.kif 1509-1509 SoftwareFile is a subclass of computer file
(subclass XMLFile ComputerFile) Media.kif 1477-1477 XMLFile is a subclass of computer file
(termFormat EnglishLanguage ComputerFile "computer file") domainEnglishFormat.kif 3138-3138 "computer file" is the printable form of computer file in english language

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


(domain AddressFn 1 ComputerFile) QoSontology.kif 218-218 The number 1 argument of address is an instance of computer file
(domain directoryOf 1 ComputerFile) QoSontology.kif 210-210 The number 1 argument of directory of is an instance of computer file
(domain programCopy 1 ComputerFile) QoSontology.kif 632-632 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 2245-2256
(=>
    (and
        (instance ?Directory ComputerDirectory)
        (instance ?File ComputerFile)
        (directoryOf ?File ?Directory))
    (refers
        (AddressFn ?File) ?Directory))
QoSontology.kif 226-231

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


(=>
    (and
        (instance ?F ComputerDirectory)
        (member ?M ?F))
    (instance ?M ComputerFile))
engineering.kif 1346-1350
(=>
    (and
        (instance ?FS FileSystem)
        (member ?M ?FS))
    (instance ?M ComputerFile))
engineering.kif 1339-1343
(=>
    (instance ?ACT DownloadingOverNetwork)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 2187-2192
(=>
    (instance ?ACT DownloadingRequest)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 1447-1452
(=>
    (instance ?ACT UploadingOverNetwork)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 2261-2266
(=>
    (instance ?ACT UploadingRequest)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 1458-1463
(=>
    (instance ?PACK SoftwarePackage)
    (exists (?FILE)
        (and
            (instance ?FILE ComputerFile)
            (part ?FILE ?PACK))))
ComputerInput.kif 654-659


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