filename - Sigma Knowledge base Browser

appearance as argument number 1

(documentation filename EnglishLanguage "A relation between a SymbolicString and an instance of DigitalData that specified the filename of the data on a particular computer file system. This relation is for a fully qualified filename including a device specification such as a drive letter or name, a directory, and a name. This can include names that are aliases for a different physical file location. It does not include the specification of a particular machine on a network, such as an internet domain name, although it may reference a device specification that ultimately resolves to a storage device on a network.")	QoSontology.kif 2209-2217
(domain filename 1 SymbolicString)	QoSontology.kif 2206-2206	The number 1 argument of filename is an instance of symbolic string
(domain filename 2 DigitalData)	QoSontology.kif 2207-2207	The number 2 argument of filename is an instance of digital data
(instance filename BinaryPredicate)	QoSontology.kif 2203-2203	filename is an instance of binary predicate
(instance filename PartialValuedRelation)	QoSontology.kif 2204-2204	filename is an instance of partial valued relation
(relatedInternalConcept filename directoryOf)	QoSontology.kif 2219-2219	filename is internally related to directory of
(subrelation filename names)	QoSontology.kif 2205-2205	filename is a subrelation of names

appearance as argument number 2

(format ChineseLanguage filename "%2 的 filename 是 %1 ")	domainEnglishFormat.kif 3428-3428
(format ChineseTraditionalLanguage filename "%2 的 filename 是 %1 ")	domainEnglishFormat.kif 3427-3427
(format EnglishLanguage filename "the filename of %2 is %1")	domainEnglishFormat.kif 3426-3426
(termFormat EnglishLanguage filename "filename")	domainEnglishFormat.kif 65881-65881