Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ListConcatenateFn
ListConcatenateFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1970-1972
No TPTP formula. May not be expressible in strict first order. Merge.kif 3076-3079
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 602-604
No TPTP formula. May not be expressible in strict first order. Merge.kif 3072-3072 连接表列函数 的 1 数量 是 串列 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3073-3073 连接表列函数 的 2 数量 是 串列 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3070-3070 连接表列函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3071-3071 连接表列函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3074-3074 连接表列函数 的 range 是 串列 的实例

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 267-267
No TPTP formula. May not be expressible in strict first order. english_format.kif 272-272
No TPTP formula. May not be expressible in strict first order. french_format.kif 152-152
No TPTP formula. May not be expressible in strict first order. relations-it.txt 166-166
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1980-1980
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 104-104
No TPTP formula. May not be expressible in strict first order. relations-de.txt 344-344
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 205-205
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 171-171
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 158-158
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 331-331
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34667-34667
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 268-268
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34666-34666
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34665-34665
No TPTP formula. May not be expressible in strict first order. terms-de.txt 110-110
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 332-332

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3083-3102

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3190-3202


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