Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - titleInLanguage
titleInLanguage

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


(documentation titleInLanguage EnglishLanguage "(titleInLanguage ?STRING ?WORKCLASS ?LANGUAGE) means that in the Language ?LANGUAGE, instances of the ContentBearingPhysical ?WORKCLASS bear the title ?STRING.") Media.kif 3093-3096
(domain titleInLanguage 1 SymbolicString) Media.kif 3090-3090 The number 1 argument of titleInLanguage is an instance of symbolic string
(domain titleInLanguage 3 Language) Media.kif 3092-3092 The number 3 argument of titleInLanguage is an instance of language
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3091-3091 The number 2 argument of titleInLanguage is a subclass of content bearing physical
(instance titleInLanguage TernaryPredicate) Media.kif 3089-3089 titleInLanguage is an instance of ternary predicate
(subrelation titleInLanguage representsInLanguage) Media.kif 3097-3097 titleInLanguage is a subrelation of represents in language

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


(format ChineseLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ") domainEnglishFormat.kif 4791-4791
(format ChineseTraditionalLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ") domainEnglishFormat.kif 4790-4790
(format EnglishLanguage titleInLanguage "the title of %2 in %3 is %1") domainEnglishFormat.kif 4789-4789
(subrelation alternativeTitle titleInLanguage) Media.kif 3115-3115 alternativeTitle is a subrelation of titleInLanguage
(subrelation displayTitle titleInLanguage) Media.kif 3137-3137 displayTitle is a subrelation of titleInLanguage
(subrelation groupingTitle titleInLanguage) Media.kif 3187-3187 groupingTitle is a subrelation of titleInLanguage
(subrelation misspelledTitle titleInLanguage) Media.kif 3208-3208 misspelledTitle is a subrelation of titleInLanguage
(subrelation originalTitle titleInLanguage) Media.kif 3176-3176 originalTitle is a subrelation of titleInLanguage
(subrelation referenceTitle titleInLanguage) Media.kif 3166-3166 referenceTitle is a subrelation of titleInLanguage
(subrelation sortingTitle titleInLanguage) Media.kif 3126-3126 sortingTitle is a subrelation of titleInLanguage
(subrelation translatedTitle titleInLanguage) Media.kif 3244-3244 translatedTitle is a subrelation of titleInLanguage

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


(=>
    (and
        (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)
        (subtitle ?SUBTITLE ?WORKTYPE ?LANGUAGE))
    (not
        (equal ?TITLE ?SUBTITLE)))
Media.kif 3229-3233
(=>
    (and
        (titleInLanguage ?TITLE1 ?WORKTYPE ?LANG1)
        (originalTitle ?TITLE2 ?WORKTYPE ?LANG2)
        (not
            (equal ?LANG1 ?LANG2)))
    (translatedTitle ?TITLE1 ?WORKTYPE ?LANG1))
Media.kif 3254-3259
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (instance ?STRING LinguisticExpression))
Media.kif 3103-3105
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (titles ?STRING ?CBP-TYPE))
Media.kif 3099-3101

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


(=>
    (subtitle ?STRING ?WORKTYPE ?LANGUAGE)
    (exists (?TITLE)
        (and
            (instance ?TITLE SymbolicString)
            (instance ?TITLE LinguisticExpression)
            (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))
Media.kif 3220-3226


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