titleInLanguage - Sigma Knowledge base Browser

appearance as argument number 1

(documentation titleInLanguage EnglishLanguage "(titleInLanguage ?STRING ?WORKCLASS ?LANGUAGE) means that in the Language ?LANGUAGE, instances of the ContentBearingPhysical ?WORKCLASS bear the title ?STRING.")	Media.kif 3089-3092
(domain titleInLanguage 1 SymbolicString)	Media.kif 3086-3086	The number 1 argument of title in language is an instance of symbolic string
(domain titleInLanguage 3 Language)	Media.kif 3088-3088	The number 3 argument of title in language is an instance of language
(domainSubclass titleInLanguage 2 ContentBearingPhysical)	Media.kif 3087-3087	The number 2 argument of title in language is a subclass of content bearing physical
(instance titleInLanguage TernaryPredicate)	Media.kif 3085-3085	title in language is an instance of ternary predicate
(subrelation titleInLanguage representsInLanguage)	Media.kif 3093-3093	title in language is a subrelation of represents in language

appearance as argument number 2

(format ChineseLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ")	domainEnglishFormat.kif 4782-4782
(format ChineseTraditionalLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ")	domainEnglishFormat.kif 4781-4781
(format EnglishLanguage titleInLanguage "the title of %2 in %3 is %1")	domainEnglishFormat.kif 4780-4780
(subrelation alternativeTitle titleInLanguage)	Media.kif 3111-3111	alternative title is a subrelation of title in language
(subrelation displayTitle titleInLanguage)	Media.kif 3133-3133	display title is a subrelation of title in language
(subrelation groupingTitle titleInLanguage)	Media.kif 3183-3183	grouping title is a subrelation of title in language
(subrelation misspelledTitle titleInLanguage)	Media.kif 3204-3204	misspelled title is a subrelation of title in language
(subrelation originalTitle titleInLanguage)	Media.kif 3172-3172	original title is a subrelation of title in language
(subrelation referenceTitle titleInLanguage)	Media.kif 3162-3162	reference title is a subrelation of title in language
(subrelation sortingTitle titleInLanguage)	Media.kif 3122-3122	sorting title is a subrelation of title in language
(subrelation translatedTitle titleInLanguage)	Media.kif 3240-3240	translated title is a subrelation of title in language
(termFormat EnglishLanguage titleInLanguage "title in language")	domainEnglishFormat.kif 65959-65959

antecedent

(=> (and (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE) (subtitle ?SUBTITLE ?WORKTYPE ?LANGUAGE)) (not (equal ?TITLE ?SUBTITLE)))	Media.kif 3225-3229	If the title of a kind of content bearing physical in a language is a symbolic string and another symbolic string is a sub-title for a kind of content bearing physical in the language, then the symbolic string is not equal to the other symbolic string
(=> (and (titleInLanguage ?TITLE1 ?WORKTYPE ?LANG1) (originalTitle ?TITLE2 ?WORKTYPE ?LANG2) (not (equal ?LANG1 ?LANG2))) (translatedTitle ?TITLE1 ?WORKTYPE ?LANG1))	Media.kif 3250-3255	If the title of an entity in a language is a symbolic string and the original title of the entity in another language is another symbolic string and the language is not equal to the other language, then the title of the entity translated into the language is the symbolic string
(=> (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE) (instance ?STRING LinguisticExpression))	Media.kif 3099-3101	If the title of an entity-TYPE in a language is a symbolic string, then the symbolic string is an instance of linguistic expression
(=> (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE) (titles ?STRING ?CBP-TYPE))	Media.kif 3095-3097	If the title of an entity-TYPE in a language is a symbolic string, then the title of the entity-TYPE is the symbolic string

consequent

(=>
    (subtitle ?STRING ?WORKTYPE ?LANGUAGE)
    (exists (?TITLE)
        (and
            (instance ?TITLE SymbolicString)
            (instance ?TITLE LinguisticExpression)
            (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))

Media.kif 3216-3222