![]() |
![]() ![]() ![]()
|
![]() |
|
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 |
![]() |
![]() |
![]() |