TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24420-24432
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24416-24416	O argumento numero 1 de SubstringFn e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24417-24417	O argumento numero 2 de SubstringFn e' uma instancia de Numero Inteiro nao-negativo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24418-24418	O argumento numero 3 de SubstringFn e' uma instancia de Numero Inteiro nao-negativo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24414-24414	SubstringFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24415-24415	SubstringFn e' uma instancia de Relacao com Valor Unico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24413-24413	SubstringFn e' uma instancia de Funcao Ternaria
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24419-24419	O contra-dominio de SubstringFn e' uma instancia de Sequencia Simbolica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4706-4706
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4705-4705
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4704-4704
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65554-65554

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2889-2895	codeMapping ISO-4217-A, Sequencia Simbolica and UnitOfCurrency codeMapping ISO-3166-1-alpha-2, Sequencia Simbolica and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, 0 and 2 currencyType Area Geopolitica and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Media.kif 3068-3089	Sequencia Simbolica e' igual a ReverseFn Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica Numero Inteiro nao-negativo e' maior que 1 Numero Inteiro nao-negativo e' maior que 0 Numero Inteiro nao-negativo e' menos que Numero Inteiro nao-negativo Numero Inteiro e' igual a o teto de ( Numero Inteiro nao-negativo + 1) + 2 Numero Inteiro nao-negativoEW e' igual a (( Numero Inteiro + Numero Inteiro nao-negativo) + Numero Inteiro) Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativo and (1 + Numero Inteiro nao-negativo) Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativoEW and (1 + Numero Inteiro nao-negativoEW)
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

consequent

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

Media.kif 3068-3089

Sequencia Simbolica e' igual a ReverseFn Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica Numero Inteiro nao-negativo e' maior que 1 Numero Inteiro nao-negativo e' maior que 0 Numero Inteiro nao-negativo e' menos que Numero Inteiro nao-negativo Numero Inteiro e' igual a o teto de ( Numero Inteiro nao-negativo + 1) + 2 Numero Inteiro nao-negativoEW e' igual a (( Numero Inteiro + Numero Inteiro nao-negativo) + Numero Inteiro) Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativo and (1 + Numero Inteiro nao-negativo)
Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativoEW and (1 + Numero Inteiro nao-negativoEW)

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: