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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerFile

Sigma KEE - ComputerFile
ComputerFile

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 172-175
(lexicon ComputerFile LexNoun "file") engineering.kif 1341-1341
(subclass ComputerFile DigitalData) QoSontology.kif 171-171 ComputerFile est une sous-classe de DigitalData

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


(subclass AudioFile ComputerFile) Media.kif 1454-1454 AudioFile est une sous-classe de ComputerFile
(subclass ComputerDirectory ComputerFile) QoSontology.kif 177-177 ComputerDirectory est une sous-classe de ComputerFile
(subclass ImageFile ComputerFile) Media.kif 1427-1427 ImageFile est une sous-classe de ComputerFile
(subclass MultimediaFile ComputerFile) Media.kif 1414-1414 MultimediaFile est une sous-classe de ComputerFile
(subclass SoftwareFile ComputerFile) Media.kif 1519-1519 SoftwareFile est une sous-classe de ComputerFile
(subclass XMLFile ComputerFile) Media.kif 1473-1473 XMLFile est une sous-classe de ComputerFile
(termFormat ChineseLanguage ComputerFile "电脑文件") domainEnglishFormat.kif 16302-16302
(termFormat ChineseTraditionalLanguage ComputerFile "電腦文件") domainEnglishFormat.kif 16301-16301
(termFormat EnglishLanguage ComputerFile "computer file") domainEnglishFormat.kif 16300-16300

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


(domain AddressFn 1 ComputerFile) QoSontology.kif 223-223 Le nombre 1 argument de AddressFn est une instance de ComputerFile
(domain directoryOf 1 ComputerFile) QoSontology.kif 215-215 Le nombre 1 argument de directoryOf est une instance de ComputerFile
(domain programCopy 1 ComputerFile) QoSontology.kif 636-636 Le nombre 1 argument de programCopy est une instance de ComputerFile

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 2761-2772
(=>
    (and
        (instance ?Directory ComputerDirectory)
        (instance ?File ComputerFile)
        (directoryOf ?File ?Directory))
    (refers
        (AddressFn ?File) ?Directory))
QoSontology.kif 231-236

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


(=>
    (and
        (instance ?F ComputerDirectory)
        (member ?M ?F))
    (instance ?M ComputerFile))
engineering.kif 1351-1355
(=>
    (and
        (instance ?FS FileSystem)
        (member ?M ?FS))
    (instance ?M ComputerFile))
engineering.kif 1344-1348
(=>
    (instance ?ACT DownloadingRequest)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 1846-1851
(=>
    (instance ?ACT UploadingRequest)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ComputerFile))))
ComputerInput.kif 1858-1863
(=>
    (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