| 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 3128-3132 | |
| (domain displayTitle 1 SymbolicString) | Media.kif 3125-3125 | The number 1 argument of display title is an instance of symbolic string |
| (domain displayTitle 3 Language) | Media.kif 3127-3127 | The number 3 argument of display title is an instance of language |
| (domainSubclass displayTitle 2 ContentBearingPhysical) | Media.kif 3126-3126 | The number 2 argument of display title is a subclass of content bearing physical |
| (instance displayTitle TernaryPredicate) | Media.kif 3124-3124 | display title is an instance of ternary predicate |
| (subrelation displayTitle titleInLanguage) | Media.kif 3133-3133 | display title is a subrelation of title in language |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage displayTitle "%1 是 %2 的 title 在 %3 ") | domainEnglishFormat.kif 3266-3266 | |
| (format ChineseTraditionalLanguage displayTitle "%1 是 %2 的 title 在 %3 ") | domainEnglishFormat.kif 3265-3265 | |
| (format EnglishLanguage displayTitle "%1 is the title of %2 in %3") | domainEnglishFormat.kif 3264-3264 | |
| (subrelation abbreviatedDisplayTitle displayTitle) | Media.kif 3145-3145 | abbreviated display title is a subrelation of display title |
| (termFormat EnglishLanguage displayTitle "display title") | domainEnglishFormat.kif 65861-65861 | abbreviated display title is a subrelation of display title |
|
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