TreeView Knowledge Base Browser - MereologicalSumFn

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	O argumento numero 1 de MereologicalSumFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9787-9787	O argumento numero 2 de MereologicalSumFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9784-9784	MereologicalSumFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9783-9783	MereologicalSumFn e' uma instancia de Relacao Espacial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9785-9785	MereologicalSumFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9788-9788	O contra-dominio de MereologicalSumFn e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9790-9790	MereologicalSumFn e' relacionado internamente por SUMO a MereologicalDifferenceFn
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9789-9789	MereologicalSumFn e' relacionado internamente por SUMO a MereologicalProductFn

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	Objeto e' igual a a uniao das partes de Objeto e Objeto Objeto e' conectado com Objeto Objeto e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9515-9519	Objeto e' uma instancia de Objeto auto-conectado Objeto e' igual a a uniao das partes de Objeto e Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9796-9803	Objeto e' igual a a uniao das partes de Objeto e Objeto Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9894-9901	Buraco e' um buraco dans Objeto auto-conectado Buraco e' um buraco dans Objeto auto-conectado Buraco Buraco e' uma &parte de a uniao das partes de Buraco e Buraco Buraco e' um buraco dans Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2842-2848	SymmetricShape e' um atributo de Objeto Objeto Objeto Objeto e' uma copia exata de Objeto Objeto e' igual a a uniao das partes de Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13177-13183	half Objeto and Objeto Objeto half Objeto and Objeto Objeto e' igual a Objeto Objeto e' igual a a uniao das partes de Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14124-14131	Objeto e' uma instancia de Area Aquatica Objeto Buraco and Objeto o dono do buraco Buraco e' igual a Objeto Objeto e' uma instancia de Agua Objeto rempliecompleta corretamente Buraco a uniao das partes de Objeto e Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1359-1368	Objeto e' uma instancia de RealEstate Objeto e' uma instancia de Artefato Estacionario Objeto e' uma instancia de Area terrestre Objeto Objeto Objeto e' uma instancia de Artefato Estacionario Objeto e' uma instancia de Area terrestre Objeto e' igual a a uniao das partes de Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8587-8593	Objeto e' uma instancia de Hydrocarbon Objeto Objeto Objeto e' igual a a uniao das partes de Objeto e Objeto Objeto e' uma instancia de Carbon Objeto e' uma instancia de Hydrogen
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13190-13201	third Objeto and Objeto Objeto Objeto third Objeto and Objeto third Objeto and Objeto Objeto e' igual a Objeto Objeto e' igual a Objeto Objeto e' igual a Objeto Objeto e' igual a a uniao das partes de Objeto e a uniao das partes de Objeto e Objeto

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