directoryOf |
appearance as argument number 1 |
(documentation directoryOf EnglishLanguage "(directoryOf ?FILE ?DIRECTORY) means that the ComputerFile ?FILE is in the ComputerDirectory ?DIRECTORY. Note that the directory of a file is a component of the fully qualified name specification given to the relation filename. Note also that the directory does not include the specification of a machine location on the Internet. See filename for more information.") | QoSontology.kif 2222-2227 | |
(domain directoryOf 1 ComputerFile) | QoSontology.kif 215-215 | Il numero 1 argomenti di directoryOf è un istanza di ComputerFile |
(domain directoryOf 2 ComputerDirectory) | QoSontology.kif 216-216 | Il numero 2 argomenti di directoryOf è un istanza di ComputerDirectory |
(instance directoryOf BinaryPredicate) | QoSontology.kif 214-214 | directoryOf è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format ChineseLanguage directoryOf "%2 %n 是 %1 的 directory") | domainEnglishFormat.kif 760-760 | |
(format ChineseTraditionalLanguage directoryOf "%2 %n 是 %1 的 directory ") | domainEnglishFormat.kif 759-759 | |
(format EnglishLanguage directoryOf "%2 is %n a directory of %1") | domainEnglishFormat.kif 758-758 | |
(relatedInternalConcept filename directoryOf) | QoSontology.kif 2219-2219 | filename è interamente correlato a directoryOf |
(termFormat ChineseLanguage directoryOf "的目录") | domainEnglishFormat.kif 19728-19728 | |
(termFormat ChineseTraditionalLanguage directoryOf "的目錄") | domainEnglishFormat.kif 19727-19727 | |
(termFormat EnglishLanguage directoryOf "directory of") | domainEnglishFormat.kif 19726-19726 |
antecedent |
(=> (and (instance ?Directory ComputerDirectory) (instance ?File ComputerFile) (directoryOf ?File ?Directory)) (refers (AddressFn ?File) ?Directory)) |
QoSontology.kif 231-236 |
|