Separating - Sigma Knowledge base Browser

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 12505-12505	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 12506-12511
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12504-12504	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 12521-12521	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 12581-12581	Chemical decomposition is a subclass of separating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19643-19643	Chromatography is a subclass of separating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19596-19596	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 22027-22027	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 12513-12518	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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