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 2315-2323
(domain filename 1 SymbolicString)	QoSontology.kif 2312-2312	The number 1 argument of filename is an instance of symbolic string
(domain filename 2 DigitalData)	QoSontology.kif 2313-2313	The number 2 argument of filename is an instance of digital data
(instance filename BinaryPredicate)	QoSontology.kif 2309-2309	filename is an instance of binary predicate
(instance filename PartialValuedRelation)	QoSontology.kif 2310-2310	filename is an instance of partial valued relation
(relatedInternalConcept filename directoryOf)	QoSontology.kif 2325-2325	filename is internally related to directory of
(subrelation filename names)	QoSontology.kif 2311-2311	filename is a subrelation of names

appearance as argument number 2

(format ChineseLanguage filename "%2 的 filename 是 %1 ")	domainEnglishFormat.kif 3432-3432
(format ChineseTraditionalLanguage filename "%2 的 filename 是 %1 ")	domainEnglishFormat.kif 3431-3431
(format EnglishLanguage filename "the filename of %2 is %1")	domainEnglishFormat.kif 3430-3430
(termFormat EnglishLanguage filename "filename")	domainEnglishFormat.kif 65863-65863