TreeView Knowledge Base Browser - Separating

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Separating

Separating(separating)

Balkanise, Balkanize, French, Secession, amitosis, amitotic, apart, arborise, arborize, asunder, atomisation, atomise, atomistic, atomistical, atomization, atomize, autotomise, autotomize, avulse, avulsion, backscatter, bark, bifurcate, bifurcation, bisection, bisectional, bleed, branch, branching, break, break_apart, break_away, break_down, break_off, break_up, breakage, breaking, brecciate, broken, burst, bust, calve, canton, card, carve_up, chip, chip_off, cleavage, close_off, column_chromatography...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12529-12529	Separating is disjoint from combining
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3178-3180
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12530-12535
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12528-12528	Separating is a subclass of dual object process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12545-12545	Breaking is a subclass of separating
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2569-2569	Carbon dioxide emission is a subclass of separating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12605-12605	Chemical decomposition is a subclass of separating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19671-19671	Chromatography is a subclass of separating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19624-19624	Dialysis is a subclass of separating
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5696-5696	Distilling is a subclass of separating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22080-22080	Slicing is a subclass of separating
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1168-1168
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1553-1553
No TPTP formula. May not be expressible in strict first order.	french_format.kif 846-846
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 378-378
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 381-381
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2530-2530
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 798-798
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 383-383
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 417-417
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 867-867
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 382-382

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5629-5635	If a process is an instance of separating and an object is a resource for the process and an entity is a result of the process and the entity is an instance of iron, then the object is an instance of iron ore
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12537-12542	If a process is an instance of separating, then there exists an entity such that the entity is an instance of self connected object and the entity is a patient of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	If a process is an instance of curdling and a substance is a patient of the process and the substance is an instance of colloid, then there exist another process and another substance such that the other process is an instance of separating and the other process is a subprocess of the process and the substance is a patient of the other process and the other substance is a result of the other process and the other substance is a piece of the substance and the other substance is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6128-6137	If bone fracture is an attribute of an object holds during a time interval, then there exist a process and another object such that the process is an instance of separating and the other object is a patient of the process and the other object is an instance of bone and the other object is a part of the object and the time of existence of the process meets the time interval
No TPTP formula. May not be expressible in strict first order.	Food.kif 3115-3122	If an entity is an instance of cream, then there exist the entityH and another entity such that the entityH is an instance of separating and the other entity is a patient of the entityH and the other entity is an instance of milk and cream is a result of the entityH

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