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 24505-24510
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24503-24503	Le nombre 1 argument de StringLengthFn est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24502-24502	StringLengthFn est une instance de relation simple
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24501-24501	StringLengthFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24500-24500	StringLengthFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24504-24504	Le domaine de StringLengthFn est une instance de nombre entier non n�gatif

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 65547-65547

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3050-3071	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 3301-3308	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.	ComputingBrands.kif 2018-2023	ComputerPassword est une instance de AppleID password ComputerPassword and cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique nombre entier non n�gatif est plus grand que 7
No TPTP formula. May not be expressible in strict first order.	Media.kif 3328-3335	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24457-24462	subString 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 nombre entier non n�gatif est plus petit ou �gal � nombre entier non n�gatif

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24523-24525	stringLength nombre entier non n�gatif and cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3346-3348	codeMapping IACOAirlineCode, cha�ne sympbolique and entit� 3 est StringLengthFn cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3333-3335	codeMapping IATAAirlineCode, cha�ne sympbolique and entit� 2 est StringLengthFn cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3356-3358	Cha�ne sympbolique est une instance de AOCnumber 8 est StringLengthFn cha�ne sympbolique

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