Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - displayTitle

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 3134-3138
(domain displayTitle 1 SymbolicString) Media.kif 3131-3131 displayTitle 的 1 数量 是 符号串instance
(domain displayTitle 3 Language) Media.kif 3133-3133 displayTitle 的 3 数量 是 语言instance
(domainSubclass displayTitle 2 ContentBearingPhysical) Media.kif 3132-3132 displayTitle 的 2 数量 是 内容承载物理subclass
(instance displayTitle TernaryPredicate) Media.kif 3130-3130 displayTitle三元谓语instance
(subrelation displayTitle titleInLanguage) Media.kif 3139-3139 displayTitletitleInLanguagesubrelation

appearance as argument number 2

(format ChineseLanguage displayTitle "%1 是 %2 的 title 在 %3 ") domainEnglishFormat.kif 3279-3279
(format ChineseTraditionalLanguage displayTitle "%1 是 %2 的 title 在 %3 ") domainEnglishFormat.kif 3278-3278
(format EnglishLanguage displayTitle "%1 is the title of %2 in %3") domainEnglishFormat.kif 3277-3277
(subrelation abbreviatedDisplayTitle displayTitle) Media.kif 3151-3151 abbreviatedDisplayTitledisplayTitlesubrelation

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