| appearance as argument number 1 |
|
| (documentation displayTitle EnglishLanguage "(displayTitle ?STRING ?WORKTYPE ?LANGUAGE) means that in the Language ?LANGUAGE, ?STRING is the version of the title of instances of ContentBearingPhysical ?WORKTYPE to be used for display to a Consumer, as specified by the RightsController.") | Media.kif 3146-3150 | |
| (domain displayTitle 1 SymbolicString) | Media.kif 3143-3143 | displayTitle 的 1 数量 是 符号串 的 instance |
| (domain displayTitle 3 Language) | Media.kif 3145-3145 | displayTitle 的 3 数量 是 语言 的 instance |
| (domainSubclass displayTitle 2 ContentBearingPhysical) | Media.kif 3144-3144 | displayTitle 的 2 数量 是 内容承载物理 的 subclass |
| (instance displayTitle TernaryPredicate) | Media.kif 3142-3142 | displayTitle 是 三元谓语 的 instance |
| (subrelation displayTitle titleInLanguage) | Media.kif 3151-3151 | displayTitle 是 titleInLanguage 的 subrelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage displayTitle "%1 是 %2 的 title 在 %3 ") | domainEnglishFormat.kif 3274-3274 | |
| (format ChineseTraditionalLanguage displayTitle "%1 是 %2 的 title 在 %3 ") | domainEnglishFormat.kif 3273-3273 | |
| (format EnglishLanguage displayTitle "%1 is the title of %2 in %3") | domainEnglishFormat.kif 3272-3272 | |
| (subrelation abbreviatedDisplayTitle displayTitle) | Media.kif 3163-3163 | abbreviatedDisplayTitle 是 displayTitle 的 subrelation |
| (termFormat EnglishLanguage displayTitle "display title") | domainEnglishFormat.kif 65812-65812 |
|
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