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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ListConcatenateFn

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

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