directoryOf - Sigma Knowledge base Browser

appearance as argument number 1

(instance directoryOf BinaryPredicate)	QoSontology.kif 209-209	directory of is an instance of binary predicate
(domain directoryOf 1 ComputerFile)	QoSontology.kif 210-210	The number 1 argument of directory of is an instance of computer file
(domain directoryOf 2 ComputerDirectory)	QoSontology.kif 211-211	The number 2 argument of directory of is an instance of computer directory
(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 2346-2351	The number 2 argument of directory of is an instance of computer directory

appearance as argument number 2

(relatedInternalConcept filename directoryOf)	QoSontology.kif 2343-2343	filename is internally related to directory of
(format EnglishLanguage directoryOf "%2 is %n a directory of %1")	domainEnglishFormat.kif 758-758	filename is internally related to directory of
(format ChineseTraditionalLanguage directoryOf "%2 %n 是 %1 的 directory ")	domainEnglishFormat.kif 759-759	filename is internally related to directory of
(format ChineseLanguage directoryOf "%2 %n 是 %1 的 directory")	domainEnglishFormat.kif 760-760	filename is internally related to directory of
(termFormat EnglishLanguage directoryOf "directory of")	domainEnglishFormat.kif 19728-19728	filename is internally related to directory of
(termFormat ChineseTraditionalLanguage directoryOf "的目錄")	domainEnglishFormat.kif 19729-19729	filename is internally related to directory of
(termFormat ChineseLanguage directoryOf "的目录")	domainEnglishFormat.kif 19730-19730	filename is internally related to directory of

antecedent

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