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 3077-3080
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 3073-3073 域 列表連接, 1 and List
No TPTP formula. May not be expressible in strict first order. Merge.kif 3074-3074 域 列表連接, 2 and List
No TPTP formula. May not be expressible in strict first order. Merge.kif 3071-3071 例 列表連接 and BinaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 3072-3072 例 列表連接 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3075-3075 範圍 列表連接 and List

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 3084-3103

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3191-3203


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