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 24447-24452
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24445-24445	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 24444-24444	StringLengthFn est une instance de relation simple
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24443-24443	StringLengthFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24442-24442	StringLengthFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24446-24446	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 65545-65545

antecedent

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.	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 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24399-24404	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 24465-24467	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 3165-3167	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 3152-3154	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 3175-3177	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