TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24419-24431
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24415-24415	Le nombre 1 argument de SubstringFn est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24416-24416	Le nombre 2 argument de SubstringFn est une instance de nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24417-24417	Le nombre 3 argument de SubstringFn est une instance de nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24413-24413	SubstringFn est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24414-24414	SubstringFn est une instance de relation simple
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24412-24412	SubstringFn est une instance de fonction ternaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24418-24418	Le domaine de SubstringFn est une instance de cha�ne sympbolique

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, cha�ne sympbolique and UnitOfCurrency codeMapping ISO-3166-1-alpha-2, cha�ne sympbolique and secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique cha�ne sympbolique est SubstringFn cha�ne sympbolique, 0 and 2 currencyType secteur g�opolitique and UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Media.kif 3068-3089	Cha�ne sympbolique est ReverseFn cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique nombre entier non n�gatif est plus grand que 1 nombre entier non n�gatif est plus grand que 0 nombre entier non n�gatif est moins que nombre entier non n�gatif nombre entier est plafond de ( nombre entier non n�gatif + 1) + 2 nombre entier non n�gatifEW est nombre entier + nombre entier non n�gatif) + nombre entier) cha�ne sympbolique est SubstringFn cha�ne sympbolique, nombre entier non n�gatif and (1 + nombre entier non n�gatif) cha�ne sympbolique est SubstringFn cha�ne sympbolique, nombre entier non n�gatifEW and (1 + nombre entier non n�gatifEW)
No TPTP formula. May not be expressible in strict first order.	Media.kif 3319-3326	fullNameIndexOrder cha�ne sympbolique and entit� keyName cha�ne sympbolique and cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique cha�ne sympbolique est SubstringFn cha�ne sympbolique, nombre entier non n�gatif and nombre entier non n�gatif stringConcatenation cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3346-3353	nameIndexOrder cha�ne sympbolique and entit� keyName cha�ne sympbolique and cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique cha�ne sympbolique est SubstringFn cha�ne sympbolique, nombre entier non n�gatif and nombre entier non n�gatif stringConcatenation cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique

consequent

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

Media.kif 3068-3089

Cha�ne sympbolique est ReverseFn cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique nombre entier non n�gatif est plus grand que 1 nombre entier non n�gatif est plus grand que 0 nombre entier non n�gatif est moins que nombre entier non n�gatif nombre entier est plafond de ( nombre entier non n�gatif + 1) + 2 nombre entier non n�gatifEW est nombre entier + nombre entier non n�gatif) + nombre entier) cha�ne sympbolique est SubstringFn cha�ne sympbolique, nombre entier non n�gatif and (1 + nombre entier non n�gatif)
cha�ne sympbolique est SubstringFn cha�ne sympbolique, nombre entier non n�gatifEW and (1 + nombre entier non n�gatifEW)

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

KB Term:			Term intersection

English Word: