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 3089-3092
(domain titleInLanguage 1 SymbolicString) Media.kif 3086-3086
(domain titleInLanguage 3 Language) Media.kif 3088-3088
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3087-3087
(instance titleInLanguage TernaryPredicate) Media.kif 3085-3085
(subrelation titleInLanguage representsInLanguage) Media.kif 3093-3093

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 3111-3111
(subrelation displayTitle titleInLanguage) Media.kif 3133-3133
(subrelation groupingTitle titleInLanguage) Media.kif 3183-3183
(subrelation misspelledTitle titleInLanguage) Media.kif 3204-3204
(subrelation originalTitle titleInLanguage) Media.kif 3172-3172
(subrelation referenceTitle titleInLanguage) Media.kif 3162-3162
(subrelation sortingTitle titleInLanguage) Media.kif 3122-3122
(subrelation translatedTitle titleInLanguage) Media.kif 3240-3240

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


(=>
    (and
        (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)
        (subtitle ?SUBTITLE ?WORKTYPE ?LANGUAGE))
    (not
        (equal ?TITLE ?SUBTITLE)))
Media.kif 3225-3229
(=>
    (and
        (titleInLanguage ?TITLE1 ?WORKTYPE ?LANG1)
        (originalTitle ?TITLE2 ?WORKTYPE ?LANG2)
        (not
            (equal ?LANG1 ?LANG2)))
    (translatedTitle ?TITLE1 ?WORKTYPE ?LANG1))
Media.kif 3250-3255
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (instance ?STRING LinguisticExpression))
Media.kif 3099-3101
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (titles ?STRING ?CBP-TYPE))
Media.kif 3095-3097

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


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


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