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

Formal Language: 



KB Term:  Term intersection
English Word: 

  displayTitle

Sigma KEE - displayTitle
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 3132-3136
(domain displayTitle 1 SymbolicString) Media.kif 3129-3129 The number 1 argument of displayTitle is an instance of symbolic string
(domain displayTitle 3 Language) Media.kif 3131-3131 The number 3 argument of displayTitle is an instance of language
(domainSubclass displayTitle 2 ContentBearingPhysical) Media.kif 3130-3130 The number 2 argument of displayTitle is a subclass of content bearing physical
(instance displayTitle TernaryPredicate) Media.kif 3128-3128 displayTitle is an instance of ternary predicate
(subrelation displayTitle titleInLanguage) Media.kif 3137-3137 displayTitle is a subrelation of titleInLanguage

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 3149-3149 abbreviatedDisplayTitle is a subrelation of displayTitle


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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