translatedTitle - Sigma 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	The number 1 argument of translated title is an instance of symbolic string
(domain translatedTitle 3 Language)	Media.kif 3234-3234	The number 3 argument of translated title is an instance of language
(domainSubclass translatedTitle 2 ContentBearingPhysical)	Media.kif 3233-3233	The number 2 argument of translated title is a subclass of content bearing physical
(instance translatedTitle TernaryPredicate)	Media.kif 3231-3231	translated title is an instance of ternary predicate
(subrelation translatedTitle titleInLanguage)	Media.kif 3240-3240	translated title is a subrelation of title in language

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

If the title of an entity translated into a language is a symbolic string and the original title of the entity in another language is another symbolic string,
then the symbolic string is not equal to the other symbolic string and the language is not equal to the other language

consequent

(=>
    (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

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: