TreeView 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 3091-3094
(domain titleInLanguage 1 SymbolicString)	Media.kif 3088-3088	The number 1 argument of title in language is an instance of symbolic string
(domain titleInLanguage 3 Language)	Media.kif 3090-3090	The number 3 argument of title in language is an instance of language
(domainSubclass titleInLanguage 2 ContentBearingPhysical)	Media.kif 3089-3089	The number 2 argument of title in language is a subclass of content bearing physical
(instance titleInLanguage TernaryPredicate)	Media.kif 3087-3087	title in language is an instance of ternary predicate
(subrelation titleInLanguage representsInLanguage)	Media.kif 3095-3095	title in language is a subrelation of represents in language

appearance as argument number 2

(format ChineseLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ")	domainEnglishFormat.kif 4786-4786
(format ChineseTraditionalLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ")	domainEnglishFormat.kif 4785-4785
(format EnglishLanguage titleInLanguage "the title of %2 in %3 is %1")	domainEnglishFormat.kif 4784-4784
(subrelation alternativeTitle titleInLanguage)	Media.kif 3113-3113	alternative title is a subrelation of title in language
(subrelation displayTitle titleInLanguage)	Media.kif 3135-3135	display title is a subrelation of title in language
(subrelation groupingTitle titleInLanguage)	Media.kif 3185-3185	grouping title is a subrelation of title in language
(subrelation misspelledTitle titleInLanguage)	Media.kif 3206-3206	misspelled title is a subrelation of title in language
(subrelation originalTitle titleInLanguage)	Media.kif 3174-3174	original title is a subrelation of title in language
(subrelation referenceTitle titleInLanguage)	Media.kif 3164-3164	reference title is a subrelation of title in language
(subrelation sortingTitle titleInLanguage)	Media.kif 3124-3124	sorting title is a subrelation of title in language
(subrelation translatedTitle titleInLanguage)	Media.kif 3242-3242	translated title is a subrelation of title in language
(termFormat EnglishLanguage titleInLanguage "title in language")	domainEnglishFormat.kif 65986-65986	translated title is a subrelation of title in language

antecedent

(=> (and (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE) (subtitle ?SUBTITLE ?WORKTYPE ?LANGUAGE)) (not (equal ?TITLE ?SUBTITLE)))	Media.kif 3227-3231	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 equal the symbolic string and the other symbolic string
(=> (and (titleInLanguage ?TITLE1 ?WORKTYPE ?LANG1) (originalTitle ?TITLE2 ?WORKTYPE ?LANG2) (not (equal ?LANG1 ?LANG2))) (translatedTitle ?TITLE1 ?WORKTYPE ?LANG1))	Media.kif 3252-3257	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 equal the language and 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 3101-3103	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 3097-3099	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 3218-3224