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

appearance as argument number 2

(format ChineseLanguage translatedTitle "%2 的 title 翻译到 %3 是 %1 ")	domainEnglishFormat.kif 4808-4808
(format ChineseTraditionalLanguage translatedTitle "%2 的 title 翻譯到 %3 是 %1 ")	domainEnglishFormat.kif 4807-4807
(format EnglishLanguage translatedTitle "the title of %2 translated into %3 is %1")	domainEnglishFormat.kif 4806-4806
(termFormat EnglishLanguage translatedTitle "translated title")	domainEnglishFormat.kif 66019-66019

antecedent

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

Media.kif 3244-3250

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 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 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: