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 3077-3080
(domain titleInLanguage 1 SymbolicString) Media.kif 3074-3074 domain titleInLanguage, 1 and SymbolicString
(domain titleInLanguage 3 Language) Media.kif 3076-3076 domain titleInLanguage, 3 and Language
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3075-3075 domainSubclass titleInLanguage, 2 and ContentBearingPhysical
(instance titleInLanguage TernaryPredicate) Media.kif 3073-3073 instance titleInLanguage and TernaryPredicate
(subrelation titleInLanguage representsInLanguage) Media.kif 3081-3081 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 3099-3099 subrelation alternativeTitle and titleInLanguage
(subrelation displayTitle titleInLanguage) Media.kif 3121-3121 subrelation displayTitle and titleInLanguage
(subrelation groupingTitle titleInLanguage) Media.kif 3171-3171 subrelation groupingTitle and titleInLanguage
(subrelation misspelledTitle titleInLanguage) Media.kif 3192-3192 subrelation misspelledTitle and titleInLanguage
(subrelation originalTitle titleInLanguage) Media.kif 3160-3160 subrelation originalTitle and titleInLanguage
(subrelation referenceTitle titleInLanguage) Media.kif 3150-3150 subrelation referenceTitle and titleInLanguage
(subrelation sortingTitle titleInLanguage) Media.kif 3110-3110 subrelation sortingTitle and titleInLanguage
(subrelation translatedTitle titleInLanguage) Media.kif 3228-3228 subrelation translatedTitle and titleInLanguage

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


(=>
    (and
        (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)
        (subtitle ?SUBTITLE ?WORKTYPE ?LANGUAGE))
    (not
        (equal ?TITLE ?SUBTITLE)))
Media.kif 3213-3217
(=>
    (and
        (titleInLanguage ?TITLE1 ?WORKTYPE ?LANG1)
        (originalTitle ?TITLE2 ?WORKTYPE ?LANG2)
        (not
            (equal ?LANG1 ?LANG2)))
    (translatedTitle ?TITLE1 ?WORKTYPE ?LANG1))
Media.kif 3238-3243
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (instance ?STRING LinguisticExpression))
Media.kif 3087-3089
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (titles ?STRING ?CBP-TYPE))
Media.kif 3083-3085

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


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


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