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 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	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 9809-9809	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 9806-9806	Mereological sum is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9805-9805	Mereological sum is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9807-9807	Mereological sum is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9810-9810	The range of mereological sum is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9812-9812	Mereological sum is internally related to mereological difference
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9811-9811	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 9543-9547	If an object is equal to the union of the parts of another object and a third object and the other object is connected to the third object, then the object is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9537-9541	If an object is an instance of self connected object and the object is equal to the union of the parts of another object and a third object, then the other object is connected to the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9818-9825	If an object is equal to the union of the parts of another object and a third object, then for all a fourth object the fourth object is a part of the object if and only if the fourth object is a part of the other object or the fourth object is a part of the third object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9916-9923	If a hole is a hole in a self connected object and another hole is a hole in the self connected object, then for all a third hole if the third hole is a part of the union of the parts of the hole and the other hole, then the third hole is a hole in the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2842-2848	If symmetric shape is an attribute of an object, then there exist another object and a third object such that the other object is a copy of the third object and the object is equal to the union of the parts of the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13176-13182	If an object is half of another object, then there exists a third object such that the third object is half of the other object and the third object is not equal to the object and the other object is equal to the union of the parts of the object and the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14146-14153	If an object is an instance of water area, then there exist another object, a hole and a third object such that the host of the hole the hole is equal to the other object and the third object is an instance of water and the third object properly fills the hole and the union of the parts of the other object and the third object is equal to the object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1359-1368	If an object is an instance of real estate, then the object is an instance of stationary artifact or the object is an instance of land area or there exist another object and a third object such that the other object is an instance of stationary artifact and the third object is an instance of land area and the object is equal to the union of the parts of the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8586-8592	If an object is an instance of hydrocarbon, then there exist another object and a third object such that the object is equal to the union of the parts of the other object and the third object and the other object is an instance of carbon and the third object is an instance of hydrogen
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13189-13200	If an object is a third of another object, then there exist a third object and a fourth object such that the third object is a third of the other object and the fourth object is a third of the other object and the third object is not equal to the object and the fourth object is not equal to the object and the third object is not equal to the fourth object and the other object is equal to the union of the parts of the object and the union of the parts of the third object and the fourth object

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