Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - translatedTitle
translatedTitle

appearance as argument number 1
-------------------------


(instance translatedTitle TernaryPredicate) Media.kif 3178-3178 translated title is an instance of ternary predicate
(domain translatedTitle 1 SymbolicString) Media.kif 3179-3179 The number 1 argument of translated title is an instance of symbolic string
(domainSubclass translatedTitle 2 ContentBearingPhysical) Media.kif 3180-3180 The number 2 argument of translated title is a subclass of content bearing physical
(domain translatedTitle 3 Language) Media.kif 3181-3181 The number 3 argument of translated title is an instance of language
(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 3182-3186 The number 3 argument of translated title is an instance of language
(subrelation translatedTitle titleInLanguage) Media.kif 3187-3187 translated title is a subrelation of title in language

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (and
        (translatedTitle ?TRANS ?WORKTYPE ?LANG1)
        (originalTitle ?TITLE ?WORKTYPE ?LANG2))
    (and
        (not
            (equal ?TRANS ?TITLE))
        (not
            (equal ?LANG1 ?LANG2))))		 Media.kif 3189-3195 If the title of X translated into Y is Z and the original title of X in W is V, then equal Z and V and equal Y and W

consequent
-------------------------


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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners