| 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 | |
| s__domain(s__filename__m,n__1,s__SymbolicString)
|
QoSontology.kif 2212-2212 | The number 1 argument of filename is an instance of symbolic string |
| s__domain(s__filename__m,n__2,s__DigitalData)
|
QoSontology.kif 2213-2213 | The number 2 argument of filename is an instance of digital data |
| s__instance(s__filename__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)
|
QoSontology.kif 2209-2209 | filename is an instance of binary predicate |
| s__instance(s__filename__m,s__PartialValuedRelation) s__instance(s__PartialValuedRelation,s__SetOrClass)
|
QoSontology.kif 2210-2210 | filename is an instance of partial valued relation |
| s__relatedInternalConcept(s__filename__m,s__directoryOf__m)
|
QoSontology.kif 2225-2225 | filename is internally related to directory of |
| s__subrelation(s__filename__m,s__names__m)
|
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