Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - filename

appearance as argument number 1

s__documentation(s__filename__m,s__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 2215-2223

QoSontology.kif 2212-2212 The number 1 argument of filename is an instance of symbolic string

QoSontology.kif 2213-2213 The number 2 argument of filename is an instance of digital data


QoSontology.kif 2209-2209 filename is an instance of binary predicate


QoSontology.kif 2210-2210 filename is an instance of partial valued relation

QoSontology.kif 2225-2225 filename is internally related to directory of

QoSontology.kif 2211-2211 filename is a subrelation of names

appearance as argument number 2

s__format(s__ChineseLanguage,s__filename__m,'"%2 的 filename 是 %1 "')

domainEnglishFormat.kif 3439-3439
s__format(s__ChineseTraditionalLanguage,s__filename__m,'"%2 的 filename 是 %1 "')

domainEnglishFormat.kif 3438-3438
s__format(s__EnglishLanguage,s__filename__m,'"the filename of %2 is %1"')

domainEnglishFormat.kif 3437-3437

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners