abbreviatedDisplayTitle - Sigma Knowledge base Browser

appearance as argument number 1

(instance abbreviatedDisplayTitle TernaryPredicate)	Media.kif 3082-3082	abbreviated display title is an instance of ternary predicate
(domain abbreviatedDisplayTitle 1 SymbolicString)	Media.kif 3083-3083	The number 1 argument of abbreviated display title is an instance of symbolic string
(domainSubclass abbreviatedDisplayTitle 2 ContentBearingPhysical)	Media.kif 3084-3084	The number 2 argument of abbreviated display title is a subclass of content bearing physical
(domain abbreviatedDisplayTitle 3 Language)	Media.kif 3085-3085	The number 3 argument of abbreviated display title is an instance of language
(documentation abbreviatedDisplayTitle EnglishLanguage "(abbreviatedDisplayTitle ?STRING ?WORKTYPE ?LANGUAGE) means that in the Language ?LANGUAGE, ?STRING is the abbreviated version of the title of instances of ContentBearingPhysical ?WORKTYPE to be used for display to a Consumer, as specified by the RightsController.")	Media.kif 3086-3091	The number 3 argument of abbreviated display title is an instance of language
(subrelation abbreviatedDisplayTitle displayTitle)	Media.kif 3092-3092	abbreviated display title is a subrelation of display title

appearance as argument number 2

(format EnglishLanguage abbreviatedDisplayTitle "%1 is %n the short title of %2 in %3")	domainEnglishFormat.kif 2640-2640
(format ChineseTraditionalLanguage abbreviatedDisplayTitle "%1 %n 是在 %3 的 short title %2 ")	domainEnglishFormat.kif 2641-2641
(format ChineseLanguage abbreviatedDisplayTitle "%1 %n 是在 %3 的 short title %2 ")	domainEnglishFormat.kif 2642-2642
(termFormat EnglishLanguage abbreviatedDisplayTitle "abbreviated display title")	domainEnglishFormat.kif 65767-65767

antecedent

(=>
    (and
        (abbreviatedDisplayTitle ?STRING ?CBP_TYPE ?LANGUAGE)
        (instance ?X ?CBP_TYPE))
    (abbreviation ?STRING ?X))

If X is the short title of ?CBP_TYPE in Z and W is an instance of ?CBP_TYPE, then X is an abbreviation of W