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	域 stringConcatenation, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24485-24485	域 stringConcatenation, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24486-24486	域 stringConcatenation, 3 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24483-24483	例 stringConcatenation and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24481-24481	例 stringConcatenation and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24482-24482	例 stringConcatenation and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24511-24511	子關係 stringConcatenation and 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	SymbolicString 和 SymbolicString 的 concatenation 是 SymbolicString 等於 SymbolicString and SymbolicString 和 SymbolicString 的 concatenation
No TPTP formula. May not be expressible in strict first order.	Media.kif 3312-3317	Entity 的 full name 是 SymbolicString SymbolicString 是在 SymbolicString 的 key SymbolicString 和 SymbolicString 的 concatenation 是 SymbolicString Entity 的 index order name 是 SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3339-3344	名 SymbolicString and Entity SymbolicString 是在 SymbolicString 的 key SymbolicString 和 SymbolicString 的 concatenation 是 SymbolicString SymbolicString 是 indexable name 對於 Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3319-3326	Entity 的 index order name 是 SymbolicString SymbolicString 是在 SymbolicString 的 key 等於 NonnegativeInteger and SymbolicString 的 length 等於 NonnegativeInteger and SymbolicString 的 length 等於 SymbolicString and SymbolicString 的 sub-string 從 NonnegativeInteger 對於 NonnegativeInteger SymbolicString 和 SymbolicString 的 concatenation 是 SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3346-3353	SymbolicString 是 indexable name 對於 Entity SymbolicString 是在 SymbolicString 的 key 等於 NonnegativeInteger and SymbolicString 的 length 等於 NonnegativeInteger and SymbolicString 的 length 等於 SymbolicString and SymbolicString 的 sub-string 從 NonnegativeInteger 對於 NonnegativeInteger SymbolicString 和 SymbolicString 的 concatenation 是 SymbolicString

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