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 3253-3257
(domain translatedTitle 1 SymbolicString)	Media.kif 3250-3250	Die Zahl 1 Argument von translatedTitle ist ein fall von SymbolicString %n{nicht}
(domain translatedTitle 3 Language)	Media.kif 3252-3252	Die Zahl 3 Argument von translatedTitle ist ein fall von Language %n{nicht}
(domainSubclass translatedTitle 2 ContentBearingPhysical)	Media.kif 3251-3251	Die Zahl 2 Argument von translatedTitle ist eine teilkategorie von ContentBearingPhysical %n{nicht}
(instance translatedTitle TernaryPredicate)	Media.kif 3249-3249	translatedTitle ist ein fall von TernaryPredicate %n{nicht}
(subrelation translatedTitle titleInLanguage)	Media.kif 3258-3258	translatedTitle ist eine teilrelation von 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 65959-65959

antecedent

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

Media.kif 3260-3266

Wenn translatedTitle SymbolicString, Entity and Language und originalTitle ** SymbolicString, ** Entity and ** Language,
dann ** SymbolicString ist gleich ** ** SymbolicString nicht und ** Language ist gleich ** ** Language nicht

consequent

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

Media.kif 3268-3273

Wenn titleInLanguage SymbolicString, Entity and Language und originalTitle ** SymbolicString, ** Entity and ** Language und ** Language ist gleich ** ** Language nicht,
dann translatedTitle ** SymbolicString, ** Entity and ** Language

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

KB Term:			Term intersection

English Word: