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

Formal Language: 



KB Term:  Term intersection
English Word: 

  titleInLanguage

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 3 Language) Media.kif 3076-3076
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3075-3075
(instance titleInLanguage TernaryPredicate) Media.kif 3073-3073
(subrelation titleInLanguage representsInLanguage) Media.kif 3081-3081

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 displayTitle titleInLanguage) Media.kif 3121-3121
(subrelation groupingTitle titleInLanguage) Media.kif 3171-3171
(subrelation misspelledTitle titleInLanguage) Media.kif 3192-3192
(subrelation originalTitle titleInLanguage) Media.kif 3160-3160
(subrelation referenceTitle titleInLanguage) Media.kif 3150-3150
(subrelation sortingTitle titleInLanguage) Media.kif 3110-3110
(subrelation translatedTitle titleInLanguage) Media.kif 3228-3228

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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