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 Le nombre 1 argument de titleInLanguage est une instance de cha�ne sympbolique
(domain titleInLanguage 3 Language) Media.kif 3090-3090 Le nombre 3 argument de titleInLanguage est une instance de langage
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3089-3089 Le nombre 2 argument de titleInLanguage est une sous-classe de ContentBearingPhysical
(instance titleInLanguage TernaryPredicate) Media.kif 3087-3087 titleInLanguage est une instance de pr�dicat ternaire
(subrelation titleInLanguage representsInLanguage) Media.kif 3095-3095 titleInLanguage est une sous-relation de representsInLanguage

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 alternativeTitle est une sous-relation de titleInLanguage
(subrelation displayTitle titleInLanguage) Media.kif 3135-3135 displayTitle est une sous-relation de titleInLanguage
(subrelation groupingTitle titleInLanguage) Media.kif 3185-3185 groupingTitle est une sous-relation de titleInLanguage
(subrelation misspelledTitle titleInLanguage) Media.kif 3206-3206 misspelledTitle est une sous-relation de titleInLanguage
(subrelation originalTitle titleInLanguage) Media.kif 3174-3174 originalTitle est une sous-relation de titleInLanguage
(subrelation referenceTitle titleInLanguage) Media.kif 3164-3164 referenceTitle est une sous-relation de titleInLanguage
(subrelation sortingTitle titleInLanguage) Media.kif 3124-3124 sortingTitle est une sous-relation de titleInLanguage
(subrelation translatedTitle titleInLanguage) Media.kif 3242-3242 translatedTitle est une sous-relation de titleInLanguage
(termFormat EnglishLanguage titleInLanguage "title in language") domainEnglishFormat.kif 65986-65986 translatedTitle est une sous-relation de titleInLanguage

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