stringConcatenation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - stringConcatenation

stringConcatenation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22284-22290
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22281-22281	The number 1 argument of stringConcatenation is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22282-22282	The number 2 argument of stringConcatenation is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22283-22283	The number 3 argument of stringConcatenation is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22280-22280	stringConcatenation is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22278-22278	stringConcatenation is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22279-22279	stringConcatenation is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22308-22308	stringConcatenation is a subrelation of precedesInString

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4675-4675
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

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22292-22294	The concatenation of a symbolic string and another symbolic string is a third symbolic string if and only if the third symbolic string is equal to the concatenation of the symbolic string and the other symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3282-3287	If the full name of an entity is a symbolic string and another symbolic string is a key in the symbolic string and the concatenation of the other symbolic string and a third symbolic string is the symbolic string, then the index order name of the entity is the symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3309-3314	If an entity has name a symbolic string and another symbolic string is a key in the symbolic string and the concatenation of the other symbolic string and a third symbolic string is the symbolic string, then the symbolic string is the indexable name for the entity

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3289-3296	If the index order name of an entity is a symbolic string and another symbolic string is a key in the symbolic string and a nonnegative integer is equal to the length of the other symbolic string and another nonnegative integer is equal to the length of the symbolic string and a third symbolic string is equal to the sub-string of the symbolic string from the nonnegative integer to the other nonnegative integer, then the concatenation of the other symbolic string and the third symbolic string is the symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3316-3323	If a symbolic string is the indexable name for an entity and another symbolic string is a key in the symbolic string and a nonnegative integer is equal to the length of the other symbolic string and another nonnegative integer is equal to the length of the symbolic string and a third symbolic string is equal to the sub-string of the symbolic string from the nonnegative integer to the other nonnegative integer, then the concatenation of the other symbolic string and the third symbolic string is the symbolic string

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

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