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


No TPTP formula. May not be expressible in strict first order. Media.kif 3184-3188
No TPTP formula. May not be expressible in strict first order. Media.kif 3181-3181 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 3183-3183 The number 3 argument of groupingTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3182-3182 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 3180-3180 groupingTitle is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Media.kif 3189-3189 groupingTitle is a subrelation of titleInLanguage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3563-3563
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3562-3562
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3561-3561

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3195-3200
No TPTP formula. May not be expressible in strict first order. Media.kif 3191-3193


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 3.0 is open source software produced by Articulate Software and its partners