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


KB Term:  Term intersection
English Word: 

Sigma KEE - groupingTitle
groupingTitle

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


(instance groupingTitle TernaryPredicate) Media.kif 3121-3121 grouping title is an instance of ternary predicate
(domain groupingTitle 1 SymbolicString) Media.kif 3122-3122 The number 1 argument of grouping title is an instance of symbolic string
(domainSubclass groupingTitle 2 ContentBearingPhysical) Media.kif 3123-3123 The number 2 argument of grouping title is a subclass of content bearing physical
(domain groupingTitle 3 Language) Media.kif 3124-3124 The number 3 argument of grouping title is an instance of language
(documentation groupingTitle EnglishLanguage "(groupingTitle ?STRING ?WORKTYPE ?LANGUAGE) means that in the Language ?LANGUAGE, ?STRING is the title of instances of the ContentBearingPhysical ?WORKTYPE. Each instance of ?WORKTYPE is a Collection, the members of which also are instances of ContentBearingPhysical.") Media.kif 3125-3129 The number 3 argument of grouping title is an instance of language
(subrelation groupingTitle titleInLanguage) Media.kif 3130-3130 grouping title is a subrelation of title in language

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


(format EnglishLanguage groupingTitle "%1 is the title in %3 for instances of %2") domainEnglishFormat.kif 3554-3554
(format ChineseTraditionalLanguage groupingTitle "%1 是在 %3 的 title 對於 %2 的例子") domainEnglishFormat.kif 3555-3555
(format ChineseLanguage groupingTitle "%1 是在 %3 的 title 对于 %2 的例子") domainEnglishFormat.kif 3556-3556
(termFormat EnglishLanguage groupingTitle "grouping title") domainEnglishFormat.kif 65856-65856

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


(=>
    (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
    (subclass ?PRODUCTTYPE Collection))		 Media.kif 3132-3134 If X is the title in Y for instances of Z, then Z is a subclass of collection
(=>
    (and
        (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
        (instance ?PRODUCT ?PRODUCTTYPE)
        (member ?OBJ ?PRODUCT))
    (instance ?OBJ ContentBearingPhysical))		 Media.kif 3136-3141 If X is the title in Y for instances of Z, W is an instance of Z, and V is a member of W, then V is an instance of content bearing physical


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