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
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3111-3115
No TPTP formula. May not be expressible in strict first order. Media.kif 3108-3108 The number 1 argument of groupingTitle is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 3110-3110 The number 3 argument of groupingTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3109-3109 The number 2 argument of groupingTitle is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3107-3107 groupingTitle is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Media.kif 3116-3116 groupingTitle is a subrelation of titleInLanguage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 899-899

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3122-3127
No TPTP formula. May not be expressible in strict first order. 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