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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3114-3118
(domain displayTitle 1 SymbolicString) Media.kif 3111-3111 domain displayTitle, 1 and SymbolicString
(domain displayTitle 3 Language) Media.kif 3113-3113 domain displayTitle, 3 and Language
(domainSubclass displayTitle 2 ContentBearingPhysical) Media.kif 3112-3112 domainSubclass displayTitle, 2 and ContentBearingPhysical
(instance displayTitle TernaryPredicate) Media.kif 3110-3110 instance displayTitle and TernaryPredicate
(subrelation displayTitle titleInLanguage) Media.kif 3119-3119 subrelation displayTitle and titleInLanguage

appearance as argument number 2
-------------------------


(format ChineseLanguage displayTitle "%1 是 %2 的 title 在 %3 ") domainEnglishFormat.kif 3275-3275
(format ChineseTraditionalLanguage displayTitle "%1 是 %2 的 title 在 %3 ") domainEnglishFormat.kif 3274-3274
(format EnglishLanguage displayTitle "%1 is the title of %2 in %3") domainEnglishFormat.kif 3273-3273
(subrelation abbreviatedDisplayTitle displayTitle) Media.kif 3131-3131 subrelation abbreviatedDisplayTitle and displayTitle


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