| 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 | filename 的 1 数量 是 符号串 的 instance |
| (domain filename 2 DigitalData) | QoSontology.kif 2207-2207 | filename 的 2 数量 是 数字数据 的 instance |
| (instance filename BinaryPredicate) | QoSontology.kif 2203-2203 | filename 是 二元谓语 的 instance |
| (instance filename PartialValuedRelation) | QoSontology.kif 2204-2204 | filename 是 部分值关系 的 instance |
| (relatedInternalConcept filename directoryOf) | QoSontology.kif 2219-2219 | filename 和 的目录 是 内部相关 |
| (subrelation filename names) | QoSontology.kif 2205-2205 | filename 是 命名 的 subrelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage filename "%2 的 filename 是 %1 ") | domainEnglishFormat.kif 3434-3434 | |
| (format ChineseTraditionalLanguage filename "%2 的 filename 是 %1 ") | domainEnglishFormat.kif 3433-3433 | |
| (format EnglishLanguage filename "the filename of %2 is %1") | domainEnglishFormat.kif 3432-3432 | |
| (termFormat EnglishLanguage filename "filename") | domainEnglishFormat.kif 65828-65828 |
|
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