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


KB Term:  Term intersection
English Word: 

  originalTitle

 Sigma KEE - originalTitle
originalTitle

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


(instance originalTitle TernaryPredicate) Media.kif 3111-3111 original title is an instance of ternary predicate
(domain originalTitle 1 SymbolicString) Media.kif 3112-3112 The number 1 argument of original title is an instance of symbolic string
(domainSubclass originalTitle 2 ContentBearingPhysical) Media.kif 3113-3113 The number 2 argument of original title is a subclass of content bearing physical
(domain originalTitle 3 Language) Media.kif 3114-3114 The number 3 argument of original title is an instance of language
(documentation originalTitle EnglishLanguage "(originalTitle ?STRING ?WORKTYPE ?LANGUAGE) means that in the Language ?LANGUAGE, ?STRING is the original title of instances of ContentBearingPhysical ?WORKTYPE, as specified in the ReferenceDescriptiveMetadataSet.") Media.kif 3115-3118 The number 3 argument of original title is an instance of language
(subrelation originalTitle titleInLanguage) Media.kif 3119-3119 original title is a subrelation of title in language

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


(format EnglishLanguage originalTitle "the original title of %2 in %3 is %1") domainEnglishFormat.kif 4056-4056
(format ChineseTraditionalLanguage originalTitle "%2 的 original title 在 %3 是 %1 ") domainEnglishFormat.kif 4057-4057
(format ChineseLanguage originalTitle "%2 的 original title 在 %3 是 %1 ") domainEnglishFormat.kif 4058-4058
(termFormat EnglishLanguage originalTitle "original title") domainEnglishFormat.kif 65913-65913

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
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners