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 3107-3110
(domain titleInLanguage 1 SymbolicString) Media.kif 3104-3104 Il numero 1 argomenti di titleInLanguage è un istanza di Stringa
(domain titleInLanguage 3 Language) Media.kif 3106-3106 Il numero 3 argomenti di titleInLanguage è un istanza di Linguaggio
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3105-3105 Il numero 2 argomento titleInLanguage è una sottoclasse diContentBearingPhysical
(instance titleInLanguage TernaryPredicate) Media.kif 3103-3103 titleInLanguage è un' istanza di PredicatoTernario
(subrelation titleInLanguage representsInLanguage) Media.kif 3111-3111 titleInLanguage è una sottorelazione di representsInLanguage

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


(format ChineseLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ") domainEnglishFormat.kif 4782-4782
(format ChineseTraditionalLanguage titleInLanguage "%2 的 title 在 %3 是 %1 ") domainEnglishFormat.kif 4781-4781
(format EnglishLanguage titleInLanguage "the title of %2 in %3 is %1") domainEnglishFormat.kif 4780-4780
(subrelation alternativeTitle titleInLanguage) Media.kif 3129-3129 alternativeTitle è una sottorelazione di titleInLanguage
(subrelation displayTitle titleInLanguage) Media.kif 3151-3151 displayTitle è una sottorelazione di titleInLanguage
(subrelation groupingTitle titleInLanguage) Media.kif 3201-3201 groupingTitle è una sottorelazione di titleInLanguage
(subrelation misspelledTitle titleInLanguage) Media.kif 3222-3222 misspelledTitle è una sottorelazione di titleInLanguage
(subrelation originalTitle titleInLanguage) Media.kif 3190-3190 originalTitle è una sottorelazione di titleInLanguage
(subrelation referenceTitle titleInLanguage) Media.kif 3180-3180 referenceTitle è una sottorelazione di titleInLanguage
(subrelation sortingTitle titleInLanguage) Media.kif 3140-3140 sortingTitle è una sottorelazione di titleInLanguage
(subrelation translatedTitle titleInLanguage) Media.kif 3258-3258 translatedTitle è una sottorelazione di titleInLanguage
(termFormat EnglishLanguage titleInLanguage "title in language") domainEnglishFormat.kif 65957-65957

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


(=>
    (and
        (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)
        (subtitle ?SUBTITLE ?WORKTYPE ?LANGUAGE))
    (not
        (equal ?TITLE ?SUBTITLE)))
Media.kif 3243-3247
(=>
    (and
        (titleInLanguage ?TITLE1 ?WORKTYPE ?LANG1)
        (originalTitle ?TITLE2 ?WORKTYPE ?LANG2)
        (not
            (equal ?LANG1 ?LANG2)))
    (translatedTitle ?TITLE1 ?WORKTYPE ?LANG1))
Media.kif 3268-3273
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (instance ?STRING LinguisticExpression))
Media.kif 3117-3119
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (titles ?STRING ?CBP-TYPE))
Media.kif 3113-3115

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


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


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