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 3095-3098
(domain titleInLanguage 1 SymbolicString) Media.kif 3092-3092 domain titleInLanguage, 1 and SymbolicString
(domain titleInLanguage 3 Language) Media.kif 3094-3094 domain titleInLanguage, 3 and Language
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3093-3093 domainSubclass titleInLanguage, 2 and ContentBearingPhysical
(instance titleInLanguage TernaryPredicate) Media.kif 3091-3091 instance titleInLanguage and TernaryPredicate
(subrelation titleInLanguage representsInLanguage) Media.kif 3099-3099 subrelation titleInLanguage and representsInLanguage

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 3117-3117 subrelation alternativeTitle and titleInLanguage
(subrelation displayTitle titleInLanguage) Media.kif 3139-3139 subrelation displayTitle and titleInLanguage
(subrelation groupingTitle titleInLanguage) Media.kif 3189-3189 subrelation groupingTitle and titleInLanguage
(subrelation misspelledTitle titleInLanguage) Media.kif 3210-3210 subrelation misspelledTitle and titleInLanguage
(subrelation originalTitle titleInLanguage) Media.kif 3178-3178 subrelation originalTitle and titleInLanguage
(subrelation referenceTitle titleInLanguage) Media.kif 3168-3168 subrelation referenceTitle and titleInLanguage
(subrelation sortingTitle titleInLanguage) Media.kif 3128-3128 subrelation sortingTitle and titleInLanguage
(subrelation translatedTitle titleInLanguage) Media.kif 3246-3246 subrelation translatedTitle and titleInLanguage

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


(=>
    (and
        (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)
        (subtitle ?SUBTITLE ?WORKTYPE ?LANGUAGE))
    (not
        (equal ?TITLE ?SUBTITLE)))
Media.kif 3231-3235
(=>
    (and
        (titleInLanguage ?TITLE1 ?WORKTYPE ?LANG1)
        (originalTitle ?TITLE2 ?WORKTYPE ?LANG2)
        (not
            (equal ?LANG1 ?LANG2)))
    (translatedTitle ?TITLE1 ?WORKTYPE ?LANG1))
Media.kif 3256-3261
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (instance ?STRING LinguisticExpression))
Media.kif 3105-3107
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (titles ?STRING ?CBP-TYPE))
Media.kif 3101-3103

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


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


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