TreeView Knowledge Base Browser

appearance as argument number 1

(instance titleInLanguage TernaryPredicate)	Media.kif 3032-3032	title in language is an instance of ternary predicate
(domain titleInLanguage 1 SymbolicString)	Media.kif 3033-3033	The number 1 argument of title in language is an instance of symbolic string
(domainSubclass titleInLanguage 2 ContentBearingPhysical)	Media.kif 3034-3034	The number 2 argument of title in language is a subclass of content bearing physical
(domain titleInLanguage 3 Language)	Media.kif 3035-3035	The number 3 argument of title in language is an instance of language
(documentation titleInLanguage EnglishLanguage "(titleInLanguage ?STRING ?WORKCLASS ?LANGUAGE) means that in the Language ?LANGUAGE, instances of the ContentBearingPhysical ?WORKCLASS bear the title ?STRING.")	Media.kif 3036-3039	The number 3 argument of title in language is an instance of language
(subrelation titleInLanguage representsInLanguage)	Media.kif 3040-3040	title in language is a subrelation of represents in language

appearance as argument number 2

(subrelation alternativeTitle titleInLanguage)	Media.kif 3058-3058	alternative title is a subrelation of title in language
(subrelation sortingTitle titleInLanguage)	Media.kif 3069-3069	sorting title is a subrelation of title in language
(subrelation displayTitle titleInLanguage)	Media.kif 3080-3080	display title is a subrelation of title in language
(subrelation referenceTitle titleInLanguage)	Media.kif 3109-3109	reference title is a subrelation of title in language
(subrelation originalTitle titleInLanguage)	Media.kif 3119-3119	original title is a subrelation of title in language
(subrelation groupingTitle titleInLanguage)	Media.kif 3130-3130	grouping title is a subrelation of title in language
(subrelation misspelledTitle titleInLanguage)	Media.kif 3151-3151	misspelled title is a subrelation of title in language
(subrelation translatedTitle titleInLanguage)	Media.kif 3187-3187	translated title is a subrelation of title in language
(format EnglishLanguage titleInLanguage "the title of %2 in %3 is %1")	domainEnglishFormat.kif 4784-4784	translated title is a subrelation of title in language
(format ChineseTraditionalLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ")	domainEnglishFormat.kif 4785-4785	translated title is a subrelation of title in language
(format ChineseLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ")	domainEnglishFormat.kif 4786-4786	translated title is a subrelation of title in language
(termFormat EnglishLanguage titleInLanguage "title in language")	domainEnglishFormat.kif 65995-65995	translated title is a subrelation of title in language

antecedent

(=> (titleInLanguage ?STRING ?CBP_TYPE ?LANGUAGE) (titles ?STRING ?CBP_TYPE))	Media.kif 3042-3044	If the title of ?CBP_TYPE in Y is Z, then the title of ?CBP_TYPE is Z
(=> (titleInLanguage ?STRING ?CBP_TYPE ?LANGUAGE) (instance ?STRING LinguisticExpression))	Media.kif 3046-3048	If the title of ?CBP_TYPE in Y is Z, then Z is an instance of linguistic expression
(=> (and (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE) (subtitle ?SUBTITLE ?WORKTYPE ?LANGUAGE)) (not (equal ?TITLE ?SUBTITLE)))	Media.kif 3172-3176	If the title of X in Y is Z and W is a sub-title for X in Y, then equal Z and W
(=> (and (titleInLanguage ?TITLE1 ?WORKTYPE ?LANG1) (originalTitle ?TITLE2 ?WORKTYPE ?LANG2) (not (equal ?LANG1 ?LANG2))) (translatedTitle ?TITLE1 ?WORKTYPE ?LANG1))	Media.kif 3197-3202	If the title of X in Y is Z, the original title of X in W is V, and equal Y and W, then the title of X translated into Y is Z

consequent

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

Media.kif 3163-3169

If X is a sub-title for Y in Z, then there exists W such that W is an instance of symbolic string, W is an instance of linguistic expression, and the title of Y in Z is W

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

KB Term:			Term intersection

English Word: