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

Formal Language: 



KB Term:  Term intersection
English Word: 

  groupingTitle

Sigma KEE - groupingTitle
groupingTitle

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


(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 3132-3136
(domain groupingTitle 1 SymbolicString) Media.kif 3129-3129 The number 1 argument of groupingTitle is an instance of symbolic string
(domain groupingTitle 3 Language) Media.kif 3131-3131 The number 3 argument of groupingTitle is an instance of language
(domainSubclass groupingTitle 2 ContentBearingPhysical) Media.kif 3130-3130 The number 2 argument of groupingTitle is a subclass of content bearing physical
(instance groupingTitle TernaryPredicate) Media.kif 3128-3128 groupingTitle is an instance of ternary predicate
(subrelation groupingTitle titleInLanguage) Media.kif 3137-3137 groupingTitle is a subrelation of titleInLanguage

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


(format EnglishLanguage groupingTitle "%1 is the title in %3 for instances of %2") domainEnglishFormat.kif 899-899

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


(=>
    (and
        (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
        (instance ?PRODUCT ?PRODUCTTYPE)
        (member ?OBJ ?PRODUCT))
    (instance ?OBJ ContentBearingPhysical))
Media.kif 3143-3148
(=>
    (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
    (subclass ?PRODUCTTYPE Collection))
Media.kif 3139-3141


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