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 3075-3078
(domain titleInLanguage 1 SymbolicString) Media.kif 3072-3072 domain titleInLanguage, 1 and SymbolicString
(domain titleInLanguage 3 Language) Media.kif 3074-3074 domain titleInLanguage, 3 and Language
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3073-3073 domainSubclass titleInLanguage, 2 and ContentBearingPhysical
(instance titleInLanguage TernaryPredicate) Media.kif 3071-3071 instance titleInLanguage and TernaryPredicate
(subrelation titleInLanguage representsInLanguage) Media.kif 3079-3079 subrelation titleInLanguage and representsInLanguage

appearance as argument number 2
-------------------------


(format ChineseLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ") domainEnglishFormat.kif 4787-4787
(format ChineseTraditionalLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ") domainEnglishFormat.kif 4786-4786
(format EnglishLanguage titleInLanguage "the title of %2 in %3 is %1") domainEnglishFormat.kif 4785-4785
(subrelation alternativeTitle titleInLanguage) Media.kif 3097-3097 subrelation alternativeTitle and titleInLanguage
(subrelation displayTitle titleInLanguage) Media.kif 3119-3119 subrelation displayTitle and titleInLanguage
(subrelation groupingTitle titleInLanguage) Media.kif 3169-3169 subrelation groupingTitle and titleInLanguage
(subrelation misspelledTitle titleInLanguage) Media.kif 3190-3190 subrelation misspelledTitle and titleInLanguage
(subrelation originalTitle titleInLanguage) Media.kif 3158-3158 subrelation originalTitle and titleInLanguage
(subrelation referenceTitle titleInLanguage) Media.kif 3148-3148 subrelation referenceTitle and titleInLanguage
(subrelation sortingTitle titleInLanguage) Media.kif 3108-3108 subrelation sortingTitle and titleInLanguage
(subrelation translatedTitle titleInLanguage) Media.kif 3226-3226 subrelation translatedTitle and titleInLanguage

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


(=>
    (and
        (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)
        (subtitle ?SUBTITLE ?WORKTYPE ?LANGUAGE))
    (not
        (equal ?TITLE ?SUBTITLE)))
Media.kif 3211-3215
(=>
    (and
        (titleInLanguage ?TITLE1 ?WORKTYPE ?LANG1)
        (originalTitle ?TITLE2 ?WORKTYPE ?LANG2)
        (not
            (equal ?LANG1 ?LANG2)))
    (translatedTitle ?TITLE1 ?WORKTYPE ?LANG1))
Media.kif 3236-3241
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (instance ?STRING LinguisticExpression))
Media.kif 3085-3087
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (titles ?STRING ?CBP-TYPE))
Media.kif 3081-3083

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


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


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