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	O argumento numero 1 de directoryOf e' uma instancia de ComputerFile
(domain directoryOf 2 ComputerDirectory)	QoSontology.kif 216-216	O argumento numero 2 de directoryOf e' uma instancia de ComputerDirectory
(instance directoryOf BinaryPredicate)	QoSontology.kif 214-214	directoryOf e' uma instancia de Predicado Binario

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 e' relacionado internamente por SUMO 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