TreeView Knowledge Base Browser - StringLengthFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - StringLengthFn

StringLengthFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24448-24453
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24446-24446	O argumento numero 1 de StringLengthFn e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24445-24445	StringLengthFn e' uma instancia de Relacao com Valor Unico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24444-24444	StringLengthFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24443-24443	StringLengthFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24447-24447	O contra-dominio de StringLengthFn e' uma instancia de Numero Inteiro nao-negativo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4674-4674
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4673-4673
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4672-4672
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65545-65545

antecedent

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.	ComputingBrands.kif 2018-2023	ComputerPassword e' uma instancia de AppleID password ComputerPassword and Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica Numero Inteiro nao-negativo e' maior que 7
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24400-24405	subString 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 Numero Inteiro nao-negativo e' menor ou igual a Numero Inteiro nao-negativo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24466-24468	stringLength Numero Inteiro nao-negativo and Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3165-3167	codeMapping IACOAirlineCode, Sequencia Simbolica and Entidade 3 e' igual a StringLengthFn Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3152-3154	codeMapping IATAAirlineCode, Sequencia Simbolica and Entidade 2 e' igual a StringLengthFn Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3175-3177	Sequencia Simbolica e' uma instancia de AOCnumber 8 e' igual a StringLengthFn 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