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 3091-3094
(domain titleInLanguage 1 SymbolicString) Media.kif 3088-3088 titleInLanguage の数値 1 引数は 記号文字列instance では
(domain titleInLanguage 3 Language) Media.kif 3090-3090 titleInLanguage の数値 3 引数は 言語instance では
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3089-3089 titleInLanguage の数値 2 引数は ContentBearingPhysicalsubclass では
(instance titleInLanguage TernaryPredicate) Media.kif 3087-3087 titleInLanguage3進述語instance では
(subrelation titleInLanguage representsInLanguage) Media.kif 3095-3095 titleInLanguagerepresentsInLanguagesubrelation では

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


(format ChineseLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ") domainEnglishFormat.kif 4786-4786
(format ChineseTraditionalLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ") domainEnglishFormat.kif 4785-4785
(format EnglishLanguage titleInLanguage "the title of %2 in %3 is %1") domainEnglishFormat.kif 4784-4784
(subrelation alternativeTitle titleInLanguage) Media.kif 3113-3113 alternativeTitletitleInLanguagesubrelation では
(subrelation displayTitle titleInLanguage) Media.kif 3135-3135 displayTitletitleInLanguagesubrelation では
(subrelation groupingTitle titleInLanguage) Media.kif 3185-3185 groupingTitletitleInLanguagesubrelation では
(subrelation misspelledTitle titleInLanguage) Media.kif 3206-3206 misspelledTitletitleInLanguagesubrelation では
(subrelation originalTitle titleInLanguage) Media.kif 3174-3174 originalTitletitleInLanguagesubrelation では
(subrelation referenceTitle titleInLanguage) Media.kif 3164-3164 referenceTitletitleInLanguagesubrelation では
(subrelation sortingTitle titleInLanguage) Media.kif 3124-3124 sortingTitletitleInLanguagesubrelation では
(subrelation translatedTitle titleInLanguage) Media.kif 3242-3242 translatedTitletitleInLanguagesubrelation では
(termFormat EnglishLanguage titleInLanguage "title in language") domainEnglishFormat.kif 65986-65986 translatedTitletitleInLanguagesubrelation では

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


(=>
    (and
        (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)
        (subtitle ?SUBTITLE ?WORKTYPE ?LANGUAGE))
    (not
        (equal ?TITLE ?SUBTITLE)))
Media.kif 3227-3231
(=>
    (and
        (titleInLanguage ?TITLE1 ?WORKTYPE ?LANG1)
        (originalTitle ?TITLE2 ?WORKTYPE ?LANG2)
        (not
            (equal ?LANG1 ?LANG2)))
    (translatedTitle ?TITLE1 ?WORKTYPE ?LANG1))
Media.kif 3252-3257
(=>
    (titleInLanguage ?STRING ?CBP_TYPE ?LANGUAGE)
    (instance ?STRING LinguisticExpression))
Media.kif 3101-3103
(=>
    (titleInLanguage ?STRING ?CBP_TYPE ?LANGUAGE)
    (titles ?STRING ?CBP_TYPE))
Media.kif 3097-3099

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


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


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