TreeView Knowledge Base Browser

appearance as argument number 1

(documentation translatedTitle EnglishLanguage "(translatedTitle ?STRING ?WORKTYPE ?LANGUAGE) means that the title for instances of the ContentBearingPhysical ?WORKTYPE in the Language ?LANGUAGE is ?STRING, and that ?STRING is a translation of a different (original) title in a different Language. See originalTitle.")	Media.kif 3235-3239
(domain translatedTitle 1 SymbolicString)	Media.kif 3232-3232	Il numero 1 argomenti di translatedTitle è un istanza di Stringa
(domain translatedTitle 3 Language)	Media.kif 3234-3234	Il numero 3 argomenti di translatedTitle è un istanza di Linguaggio
(domainSubclass translatedTitle 2 ContentBearingPhysical)	Media.kif 3233-3233	Il numero 2 argomento translatedTitle è una sottoclasse diContentBearingPhysical
(instance translatedTitle TernaryPredicate)	Media.kif 3231-3231	translatedTitle è un' istanza di PredicatoTernario
(subrelation translatedTitle titleInLanguage)	Media.kif 3240-3240	translatedTitle è una sottorelazione di titleInLanguage

appearance as argument number 2

(format ChineseLanguage translatedTitle "%2 的 title 翻译到 %3 是 %1 ")	domainEnglishFormat.kif 4802-4802
(format ChineseTraditionalLanguage translatedTitle "%2 的 title 翻譯到 %3 是 %1 ")	domainEnglishFormat.kif 4801-4801
(format EnglishLanguage translatedTitle "the title of %2 translated into %3 is %1")	domainEnglishFormat.kif 4800-4800
(termFormat EnglishLanguage translatedTitle "translated title")	domainEnglishFormat.kif 65961-65961

antecedent

(=>
    (and
        (translatedTitle ?TRANS ?WORKTYPE ?LANG1)
        (originalTitle ?TITLE ?WORKTYPE ?LANG2))
    (and
        (not
            (equal ?TRANS ?TITLE))
        (not
            (equal ?LANG1 ?LANG2))))

Media.kif 3242-3248

translatedTitle Stringa, Entit� and Linguaggio originalTitle Stringa, Entit� and Linguaggio
Stringa is uguale a Stringa Linguaggio is uguale a Linguaggio

consequent

(=>
    (and
        (titleInLanguage ?TITLE1 ?WORKTYPE ?LANG1)
        (originalTitle ?TITLE2 ?WORKTYPE ?LANG2)
        (not
            (equal ?LANG1 ?LANG2)))
    (translatedTitle ?TITLE1 ?WORKTYPE ?LANG1))

Media.kif 3250-3255

titleInLanguage Stringa, Entit� and Linguaggio originalTitle Stringa, Entit� and Linguaggio Linguaggio is uguale a Linguaggio
translatedTitle Stringa, Entit� and Linguaggio

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

KB Term:			Term intersection

English Word: