| 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 3130-3134 | |
| (domain displayTitle 1 SymbolicString) | Media.kif 3127-3127 | displayTitle の数値 1 引数は 記号文字列 の instance では |
| (domain displayTitle 3 Language) | Media.kif 3129-3129 | displayTitle の数値 3 引数は 言語 の instance では |
| (domainSubclass displayTitle 2 ContentBearingPhysical) | Media.kif 3128-3128 | displayTitle の数値 2 引数は ContentBearingPhysical のsubclass では |
| (instance displayTitle TernaryPredicate) | Media.kif 3126-3126 | displayTitle は 3進述語 の instance では |
| (subrelation displayTitle titleInLanguage) | Media.kif 3135-3135 | displayTitle は titleInLanguage の subrelation では |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage displayTitle "%1 是 %2 的 title 在 %3 ") | domainEnglishFormat.kif 3270-3270 | |
| (format ChineseTraditionalLanguage displayTitle "%1 是 %2 的 title 在 %3 ") | domainEnglishFormat.kif 3269-3269 | |
| (format EnglishLanguage displayTitle "%1 is the title of %2 in %3") | domainEnglishFormat.kif 3268-3268 | |
| (subrelation abbreviatedDisplayTitle displayTitle) | Media.kif 3147-3147 | abbreviatedDisplayTitle は displayTitle の subrelation では |
| (termFormat EnglishLanguage displayTitle "display title") | domainEnglishFormat.kif 65812-65812 | abbreviatedDisplayTitle は displayTitle の subrelation では |
|
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