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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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
(domain titleInLanguage 3 Language) Media.kif 3092-3092
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3091-3091
(instance titleInLanguage TernaryPredicate) Media.kif 3089-3089
(subrelation titleInLanguage representsInLanguage) Media.kif 3097-3097

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
(subrelation displayTitle titleInLanguage) Media.kif 3137-3137
(subrelation groupingTitle titleInLanguage) Media.kif 3187-3187
(subrelation misspelledTitle titleInLanguage) Media.kif 3208-3208
(subrelation originalTitle titleInLanguage) Media.kif 3176-3176
(subrelation referenceTitle titleInLanguage) Media.kif 3166-3166
(subrelation sortingTitle titleInLanguage) Media.kif 3126-3126
(subrelation translatedTitle titleInLanguage) Media.kif 3244-3244


        (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)
        (subtitle ?SUBTITLE ?WORKTYPE ?LANGUAGE))
        (equal ?TITLE ?SUBTITLE)))
Media.kif 3229-3233
        (titleInLanguage ?TITLE1 ?WORKTYPE ?LANG1)
        (originalTitle ?TITLE2 ?WORKTYPE ?LANG2)
            (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


    (exists (?TITLE)
            (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