TreeView Knowledge Base Browser - stringConcatenation

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

stringConcatenation

Sigma KEE - stringConcatenation

stringConcatenation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24488-24494
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24485-24485	O argumento numero 1 de stringConcatenation e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24486-24486	O argumento numero 2 de stringConcatenation e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24487-24487	O argumento numero 3 de stringConcatenation e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24484-24484	stringConcatenation e' uma instancia de Relacao com Valor Unico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24482-24482	stringConcatenation e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24483-24483	stringConcatenation e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24512-24512	stringConcatenation e' uma sub-relacao de precedesInString

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4666-4666
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4665-4665
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4664-4664
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65942-65942

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24496-24498	stringConcatenation Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica Sequencia Simbolica e' igual a StringConcatenateFn Sequencia Simbolica and Sequencia Simbolica
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 3339-3344	Entidade se chama nome Sequencia Simbolica keyName Sequencia Simbolica and Sequencia Simbolica stringConcatenation Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica nameIndexOrder Sequencia Simbolica and Entidade

consequent

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

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