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


KB Term:  Term intersection
English Word: 

Sigma KEE - titleInLanguage
titleInLanguage

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


(instance titleInLanguage TernaryPredicate) Media.kif 3032-3032 title in language is an instance of ternary predicate
(domain titleInLanguage 1 SymbolicString) Media.kif 3033-3033 The number 1 argument of title in language is an instance of symbolic string
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3034-3034 The number 2 argument of title in language is a subclass of content bearing physical
(domain titleInLanguage 3 Language) Media.kif 3035-3035 The number 3 argument of title in language is an instance of language
(documentation titleInLanguage EnglishLanguage "(titleInLanguage ?STRING ?WORKCLASS ?LANGUAGE) means that in the Language ?LANGUAGE, instances of the ContentBearingPhysical ?WORKCLASS bear the title ?STRING.") Media.kif 3036-3039 The number 3 argument of title in language is an instance of language
(subrelation titleInLanguage representsInLanguage) Media.kif 3040-3040 title in language is a subrelation of represents in language

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


(subrelation alternativeTitle titleInLanguage) Media.kif 3058-3058 alternative title is a subrelation of title in language
(subrelation sortingTitle titleInLanguage) Media.kif 3069-3069 sorting title is a subrelation of title in language
(subrelation displayTitle titleInLanguage) Media.kif 3080-3080 display title is a subrelation of title in language
(subrelation referenceTitle titleInLanguage) Media.kif 3109-3109 reference title is a subrelation of title in language
(subrelation originalTitle titleInLanguage) Media.kif 3119-3119 original title is a subrelation of title in language
(subrelation groupingTitle titleInLanguage) Media.kif 3130-3130 grouping title is a subrelation of title in language
(subrelation misspelledTitle titleInLanguage) Media.kif 3151-3151 misspelled title is a subrelation of title in language
(subrelation translatedTitle titleInLanguage) Media.kif 3187-3187 translated title is a subrelation of title in language
(format EnglishLanguage titleInLanguage "the title of %2 in %3 is %1") domainEnglishFormat.kif 4784-4784 translated title is a subrelation of title in language
(format ChineseTraditionalLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ") domainEnglishFormat.kif 4785-4785 translated title is a subrelation of title in language
(format ChineseLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ") domainEnglishFormat.kif 4786-4786 translated title is a subrelation of title in language
(termFormat EnglishLanguage titleInLanguage "title in language") domainEnglishFormat.kif 65995-65995 translated title is a subrelation of title in language

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


(=>
    (titleInLanguage ?STRING ?CBP_TYPE ?LANGUAGE)
    (titles ?STRING ?CBP_TYPE))		 Media.kif 3042-3044 If the title of ?CBP_TYPE in Y is Z, then the title of ?CBP_TYPE is Z
(=>
    (titleInLanguage ?STRING ?CBP_TYPE ?LANGUAGE)
    (instance ?STRING LinguisticExpression))		 Media.kif 3046-3048 If the title of ?CBP_TYPE in Y is Z, then Z is an instance of linguistic expression
(=>
    (and
        (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)
        (subtitle ?SUBTITLE ?WORKTYPE ?LANGUAGE))
    (not
        (equal ?TITLE ?SUBTITLE)))		 Media.kif 3172-3176 If the title of X in Y is Z and W is a sub-title for X in Y, then equal Z 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

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


(=>
    (subtitle ?STRING ?WORKTYPE ?LANGUAGE)
    (exists (?TITLE)
        (and
            (instance ?TITLE SymbolicString)
            (instance ?TITLE LinguisticExpression)
            (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))		 Media.kif 3163-3169 If X is a sub-title for Y in Z, then there exists W such that W is an instance of symbolic string, W is an instance of linguistic expression, and the title of Y in Z is W


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