directoryOf - Sigma Knowledge base Browser

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	The number 1 argument of directory of is an instance of computer file
(domain directoryOf 2 ComputerDirectory)	QoSontology.kif 216-216	The number 2 argument of directory of is an instance of computer directory
(instance directoryOf BinaryPredicate)	QoSontology.kif 214-214	directory of is an instance of binary predicate

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 is internally related to directory of
(termFormat ChineseLanguage directoryOf "的目录")	domainEnglishFormat.kif 19744-19744	filename is internally related to directory of
(termFormat ChineseTraditionalLanguage directoryOf "的目錄")	domainEnglishFormat.kif 19743-19743	filename is internally related to directory of
(termFormat EnglishLanguage directoryOf "directory of")	domainEnglishFormat.kif 19742-19742	filename is internally related to directory of

antecedent

(=>
    (and
        (instance ?Directory ComputerDirectory)
        (instance ?File ComputerFile)
        (directoryOf ?File ?Directory))
    (refers
        (AddressFn ?File) ?Directory))

QoSontology.kif 231-236