TreeView Knowledge Base Browser - fullNameIndexOrder

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

fullNameIndexOrder

Sigma KEE - fullNameIndexOrder

fullNameIndexOrder

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 3304-3309
No TPTP formula. May not be expressible in strict first order.	Media.kif 3302-3302	O argumento numero 1 de fullNameIndexOrder e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 3303-3303	O argumento numero 2 de fullNameIndexOrder e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 3301-3301	fullNameIndexOrder e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Media.kif 3300-3300	fullNameIndexOrder e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Media.kif 3310-3310	fullNameIndexOrder e' uma sub-relacao de fullName
No TPTP formula. May not be expressible in strict first order.	Media.kif 3336-3336	fullNameIndexOrder e' uma sub-relacao de nameIndexOrder

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3510-3510
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3509-3509
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3508-3508
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65836-65836

antecedent

No TPTP formula. May not be expressible in strict first order.

Media.kif 3319-3326

fullNameIndexOrder Sequencia Simbolica and Entidade keyName Sequencia Simbolica and Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativo and Numero Inteiro nao-negativo
stringConcatenation Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3312-3317	fullName Sequencia Simbolica and Entidade keyName Sequencia Simbolica and Sequencia Simbolica stringConcatenation Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica fullNameIndexOrder Sequencia Simbolica and Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 3355-3359	nameIndexOrder Sequencia Simbolica and Entidade fullName Sequencia Simbolica and Entidade fullNameIndexOrder Sequencia Simbolica and Entidade

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