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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MereologicalSumFn

 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 9814-9816
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 9808-9808 部分总和函数 的 1 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9809-9809 部分总和函数 的 2 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9806-9806 部分总和函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9805-9805 部分总和函数 是 空间关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9807-9807 部分总和函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9810-9810 部分总和函数 的 range 是 客体 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 9812-9812 部分总和函数 和 部分差异函数 是 内部相关
No TPTP formula. May not be expressible in strict first order. Merge.kif 9811-9811 部分总和函数 和 部分积函数 是 内部相关

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 9543-9547
No TPTP formula. May not be expressible in strict first order. Merge.kif 9537-9541
No TPTP formula. May not be expressible in strict first order. Merge.kif 9818-9825

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9916-9923
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 13176-13182
No TPTP formula. May not be expressible in strict first order. Merge.kif 14146-14153
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 8586-8592
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13189-13200


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