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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - groupingTitle
groupingTitle

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


s__documentation(s__groupingTitle__m,s__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 3111-3115
s__domain(s__groupingTitle__m,1,s__SymbolicString)

Media.kif 3108-3108
s__domain(s__groupingTitle__m,3,s__Language)

Media.kif 3110-3110
s__domainSubclass(s__groupingTitle__m,2,s__ContentBearingPhysical)

Media.kif 3109-3109
s__instance(s__TernaryPredicate,s__SetOrClass)

Media.kif 3107-3107
s__subrelation(s__groupingTitle__m,s__titleInLanguage__m)

Media.kif 3116-3116

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


s__format(s__EnglishLanguage,s__groupingTitle__m,'%1 is the title in %3 for instances of %2')

domainEnglishFormat.kif 899-899

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


( ! [V__STRING,V__PRODUCTTYPE,V__LANGUAGE,V__PRODUCT,V__OBJ] :
   ((s__groupingTitle(V__STRING,V__PRODUCTTYPE,V__LANGUAGE)
     &
     s__instance(V__PRODUCT,V__PRODUCTTYPE)
   &
   s__member(V__OBJ,V__PRODUCT))
=>
s__instance(V__OBJ,s__ContentBearingPhysical))
)

Media.kif 3122-3127
( ! [V__STRING,V__PRODUCTTYPE,V__LANGUAGE] :
   (s__groupingTitle(V__STRING,V__PRODUCTTYPE,V__LANGUAGE)
   =>
   s__subclass(V__PRODUCTTYPE,s__Collection))
)

Media.kif 3118-3120


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners