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


KB Term:  Term intersection
English Word: 

Sigma KEE - groupingTitle
groupingTitle

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


(instance groupingTitle TernaryPredicate) Media.kif 3176-3176 grouping title is an instance of ternary predicate
(domain groupingTitle 1 SymbolicString) Media.kif 3177-3177 The number 1 argument of grouping title is an instance of symbolic string
(domainSubclass groupingTitle 2 ContentBearingPhysical) Media.kif 3178-3178 The number 2 argument of grouping title is a subclass of content bearing physical
(domain groupingTitle 3 Language) Media.kif 3179-3179 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 3180-3184 The number 3 argument of grouping title is an instance of language
(subrelation groupingTitle titleInLanguage) Media.kif 3185-3185 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 3187-3189 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 3191-3196 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 is open source software produced by Articulate Software and its partners