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 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 The number 1 argument of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9787-9787 The number 2 argument of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9784-9784 Mereological sum is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 9783-9783 Mereological sum is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9785-9785 Mereological sum is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9788-9788 The range of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9790-9790 Mereological sum is internally related to mereological difference
No TPTP formula. May not be expressible in strict first order. Merge.kif 9789-9789 Mereological sum is internally related to mereological product

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