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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MereologicalSumFn
MereologicalSumFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2849-2850
No TPTP formula. May not be expressible in strict first order. Merge.kif 9792-9794
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1593-1594
No TPTP formula. May not be expressible in strict first order. Merge.kif 9786-9786 部分总和函数 的 1 数量 是 客体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9787-9787 部分总和函数 的 2 数量 是 客体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9784-9784 部分总和函数二元函数instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9783-9783 部分总和函数空间关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9785-9785 部分总和函数总值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9788-9788 部分总和函数range客体 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 9790-9790 部分总和函数部分差异函数 是 内部相关
No TPTP formula. May not be expressible in strict first order. Merge.kif 9789-9789 部分总和函数部分积函数 是 内部相关

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 395-395
No TPTP formula. May not be expressible in strict first order. english_format.kif 401-401
No TPTP formula. May not be expressible in strict first order. french_format.kif 228-228
No TPTP formula. May not be expressible in strict first order. relations-it.txt 185-185
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2030-2030
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 180-180
No TPTP formula. May not be expressible in strict first order. relations-de.txt 1017-1017
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 223-223
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 248-248
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 248-248
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 362-362
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37193-37193
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 396-396
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37192-37192
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37191-37191

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9521-9525
No TPTP formula. May not be expressible in strict first order. Merge.kif 9515-9519
No TPTP formula. May not be expressible in strict first order. Merge.kif 9796-9803

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9894-9901
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2842-2848
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13177-13183
No TPTP formula. May not be expressible in strict first order. Merge.kif 14124-14131
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1359-1368
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8587-8593
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13190-13201


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