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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3289-3296
No TPTP formula. May not be expressible in strict first order. Media.kif 3316-3323


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