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 3178-3182
No TPTP formula. May not be expressible in strict first order. Media.kif 3175-3175 O argumento numero 1 de groupingTitle e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Media.kif 3177-3177 O argumento numero 3 de groupingTitle e' uma instancia de Linguagem
No TPTP formula. May not be expressible in strict first order. Media.kif 3176-3176 O argumento numero 2 de groupingTitle e' uma sub-classe de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order. Media.kif 3174-3174 groupingTitle e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order. Media.kif 3183-3183 groupingTitle e' uma sub-relacao de titleInLanguage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3558-3558
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3557-3557
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3556-3556
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65842-65842

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3189-3194
No TPTP formula. May not be expressible in strict first order. Media.kif 3185-3187


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