TreeView Knowledge Base Browser - stringConcatenation

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

stringConcatenation

Sigma KEE - stringConcatenation

stringConcatenation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24487-24493
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24484-24484	Le nombre 1 argument de stringConcatenation est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24485-24485	Le nombre 2 argument de stringConcatenation est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24486-24486	Le nombre 3 argument de stringConcatenation est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24483-24483	stringConcatenation est une instance de relation simple
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24481-24481	stringConcatenation est une instance de pr�dicat ternaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24482-24482	stringConcatenation est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24511-24511	stringConcatenation est une sous-relation de precedesInString

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4666-4666
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4665-4665
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4664-4664
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65942-65942

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24495-24497	stringConcatenation cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique cha�ne sympbolique est StringConcatenateFn cha�ne sympbolique and cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3312-3317	fullName cha�ne sympbolique and entit� keyName cha�ne sympbolique and cha�ne sympbolique stringConcatenation cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique fullNameIndexOrder cha�ne sympbolique and entit�
No TPTP formula. May not be expressible in strict first order.	Media.kif 3339-3344	Entit� s'appele nom cha�ne sympbolique keyName cha�ne sympbolique and cha�ne sympbolique stringConcatenation cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique nameIndexOrder cha�ne sympbolique and entit�

consequent

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

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