Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  subtitle

 Sigma KEE - subtitle
subtitle

appearance as argument number 1
-------------------------


(instance subtitle TernaryPredicate) Media.kif 3153-3153 subtitle is an instance of ternary predicate
(domain subtitle 1 SymbolicString) Media.kif 3154-3154 The number 1 argument of subtitle is an instance of symbolic string
(domainSubclass subtitle 2 ContentBearingPhysical) Media.kif 3155-3155 The number 2 argument of subtitle is a subclass of content bearing physical
(domain subtitle 3 Language) Media.kif 3156-3156 The number 3 argument of subtitle is an instance of language
(documentation subtitle EnglishLanguage "(subtitle ?STRING ?WORKTYPE ?LANGUAGE) means that in the Language ?LANGUAGE, ?STRING is an addendum or supplement to the title for instances of the ContentBearingPhysical ?WORKTYPE.") Media.kif 3157-3160 The number 3 argument of subtitle is an instance of language

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


(format EnglishLanguage subtitle "%1 is a sub-title for %2 in %3") domainEnglishFormat.kif 4712-4712
(format ChineseTraditionalLanguage subtitle "%1 是 sub-title 對於 %2 在 %1 ") domainEnglishFormat.kif 4713-4713
(format ChineseLanguage subtitle "%1 是 sub-title 对于 %2 在 %1 ") domainEnglishFormat.kif 4714-4714
(termFormat EnglishLanguage subtitle "subtitle") domainEnglishFormat.kif 65983-65983

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


(=>
    (subtitle ?STRING ?WORKTYPE ?LANGUAGE)
    (exists (?TITLE)
        (and
            (instance ?TITLE SymbolicString)
            (instance ?TITLE LinguisticExpression)
            (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))		 Media.kif 3163-3169 If X is a sub-title for Y in Z, then there exists W such that W is an instance of symbolic string, W is an instance of linguistic expression, and the title of Y in Z is W
(=>
    (and
        (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)
        (subtitle ?SUBTITLE ?WORKTYPE ?LANGUAGE))
    (not
        (equal ?TITLE ?SUBTITLE)))		 Media.kif 3172-3176 If the title of X in Y is Z and W is a sub-title for X in Y, then equal Z and W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners