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 数量 是 符号串 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24485-24485 stringConcatenation 的 2 数量 是 符号串 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24486-24486 stringConcatenation 的 3 数量 是 符号串 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24483-24483 stringConcatenation 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24481-24481 stringConcatenation 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24482-24482 stringConcatenation 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24511-24511 stringConcatenation 是 precedesInString 的 subrelation

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 符号串 和 另一个 符号串 的 concatenation 是 第三 符号串 若且唯若 那个 第三 符号串 equal 那个 符号串 和 那个 另外 符号串 的 concatenation
No TPTP formula. May not be expressible in strict first order. Media.kif 3312-3317
No TPTP formula. May not be expressible in strict first order. Media.kif 3339-3344

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3319-3326
No TPTP formula. May not be expressible in strict first order. Media.kif 3346-3353


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