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 26150-26156
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26147-26147	The number 1 argument of string concatenation is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26148-26148	The number 2 argument of string concatenation is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26149-26149	The number 3 argument of string concatenation is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26146-26146	string concatenation is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26144-26144	string concatenation is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26145-26145	string concatenation is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26174-26174	string concatenation is a subrelation of precedes in string

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4670-4670
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4669-4669
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4668-4668
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65969-65969

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26158-26160	The concatenation of a symbolic string and another symbolic string is a third symbolic string if and only if equal the third symbolic string and the concatenation of the symbolic string and the other symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3296-3301	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 3323-3328	If an entity has &ames$"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 &ameIndexOrder$"indexable" &ameIndexOrder$"name" for the entity

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3303-3310	If the index order name of an entity is a symbolic string and another symbolic string is a key in the symbolic string and equal a nonnegative integer and the length of the other symbolic string and equal another nonnegative integer and the length of the symbolic string and equal a third symbolic string and 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 3330-3337	If a symbolic string is the &ameIndexOrder$"indexable" &ameIndexOrder$"name" for an entity and another symbolic string is a key in the symbolic string and equal a nonnegative integer and the length of the other symbolic string and equal another nonnegative integer and the length of the symbolic string and equal a third symbolic string and 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