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

Formal Language: 



KB Term:  Term intersection
English Word: 

  sortingTitle

 Sigma KEE - sortingTitle
sortingTitle

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3135-3139
No TPTP formula. May not be expressible in strict first order. Media.kif 3132-3132 O argumento numero 1 de sortingTitle e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Media.kif 3134-3134 O argumento numero 3 de sortingTitle e' uma instancia de Linguagem
No TPTP formula. May not be expressible in strict first order. Media.kif 3133-3133 O argumento numero 2 de sortingTitle e' uma sub-classe de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order. Media.kif 3131-3131 sortingTitle e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order. Media.kif 3140-3140 sortingTitle e' uma sub-relacao de titleInLanguage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4582-4582
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4581-4581
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4580-4580
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65938-65938


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