Removing - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3031-3032
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11451-11453
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1799-1800
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11449-11449	Removing is a subclass of transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10995-10995	Decreasing is internally related to removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22409-22409	Aborting is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6232-6232	Amputation is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25033-25033	Biopsy is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24956-24956	Birth is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1513-1513	Bleeding air is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21973-21973	Circumision is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4249-4249	Corrosion is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2642-2642	Deforestation is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2644-2644	Dredging is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12844-12844	Drying is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2662-2662	Erosion is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2106-2106	Excreting is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 250-250	Exfiltration is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12629-12629	Hair removal is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18990-18990	Harvesting is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6510-6510	Moulting is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12640-12640	Peeling is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2903-2903	Sanitation is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6040-6040	Sweeping is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 866-866	Needle decompression is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11464-11464	Uncovering is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6050-6050	Washing is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1120-1120	Washing is a subclass of removing

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1379-1389	If an object is an instance of absolute filter and a process is an instance of removing and the process originates at another object and the other object is an instance of gas mixture and a third object is a patient of the process and solid is an attribute of the third object and the object is an instrument for the process, then the third object is not a part of the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11455-11462	If a process is an instance of removing and the process originates at an object and an entity is a patient of the process, then the entity is located at the object holds during the beginning of the time of existence of the process and the entity is not located at the object holds during the end of the time of existence of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2155-2168	If an agent is an instance of animal and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the agent, then there exist a transfer and an object such that the transfer is an instance of biological process and the transfer is an instance of removing and the transfer originates at the agent and the object is an instance of sewage and the agent is an agent of the transfer and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6532-6551	If a process is an instance of coughing and an agent experiences the process, then the process has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the other entity is an instance of lung and the fourth entity is an instance of throat and the third entity is an instance of object and the entity is an instance of removing and the other entity is a part of the agent and the fourth entity is a part of the agent and the object transferred in the entity is the third entity and the third entity is located at the fourth entity or the third entity is located at the other entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6598-6616	If a process is an instance of sneezing and an agent experiences the process, then the process has the purpose there exist an entity, another entity,, , the other entityOSE and a fourth entity such that the other entity is an instance of nasal cavity and the other entityOSE is an instance of nose and the other entityOSE is equal to the host of the hole the other entity and the fourth entity is an instance of object and the entity is an instance of removing and the other entityOSE is a part of the agent and the object transferred in the entity is the fourth entity and the fourth entity is located at the other entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 425-435	If a substance is an instance of food and decaf is an attribute of the substance and another substance is a piece of the substance and the other substance is an instance of caffeine, then there exists a process such that the process is an instance of removing and the process ends up at the substance and the other substance is a patient of the process
No TPTP formula. May not be expressible in strict first order.	naics.kif 631-648	If a collection is an instance of organization and mining is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an object, the process2 and the agent2 such that the agent is an instance of removing and the object is a patient of the agent and the object is an instance of pure substance and solid is an attribute of the object and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the object is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	If a collection is an instance of organization and utilities is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an object, the process2 and the agent2 such that the agent is an instance of removing or the object is an instance of sewage and the object is a patient of the agent and the object is an instance of electron or the object is an instance of water or the object is an instance of pure substance and the object is capable of doing burning as a patient and the process2 is a member of the collection and the agent2 is an instance of financial transaction and the process2 is an agent of the agent2 and the object is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6480-6491	If an entity is an instance of shedding part and the entity an object and another object and the object is an instance of organism and the other object is an instance of anatomical structure and the other object is a part of the object, then there exists a process such that the process is an instance of removing and the process originates at the object and the other object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6461-6472	If a plant is a Removing a plant leaf from its stems and the plant is an instance of deciduous tree and the plant leaf is an instance of plant leaf, then there exist a kind of process and another process such that a kind of process is a subclass of removing and the kind of process occurs every year duration and the other process is an instance of the kind of process and the other process originates at the plant and the plant leaf is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1917-1925	If a physical is an instance of brush or comb, then the physical has the purpose there exists an entity such that the entity is an instance of removing or the entity is an instance of surface change and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11749-11756	If an object is an instance of distilled alcoholic beverage, then there exist a process and an entity such that the process is an instance of removing and the entity is a patient of the process and the entity is an instance of freshwater and the process originates at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15894-15901	If a physical is an instance of chimney, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of smoke and the other entity is an instance of removing and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4565-4580	If a physical is an instance of colander, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of mixture and the other entity is an instance of substance and the other entity is a part of the entity and liquid is an attribute of the other entity and the fourth entity is an instance of removing and the other entity is a patient of the fourth entity and the third entity is an instance of substance and the third entity is a part of the entity and solid is an attribute of the third entity and the third entity is a result of the fourth entity and the physical is an instrument for the fourth entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4257-4266	If a process is an instance of corrosion, then there exist an object, another process and another object such that the object is an instance of substance and the object is a patient of the process and the other process is an instance of removing and the other object is a patient of the other process and the other object is a part of the object and the other process is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 686-701	If a process is an instance of coffee making, then there exist another process, an object,, , another object,, , a third object,, , a fourth object and an entity such that the other process is a subprocess of the process and the other process is an instance of removing and the other process originates at the object and the object is an instance of liquid mixture and the third object is a part of the object and the third object is an instance of potable water and the other object is a part of the object and the other object is an instance of coffee grind and the fourth object is an instrument for the other process and the fourth object is an instance of filter and the entity is a result of the other process and the entity is an instance of coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 703-716	If a time position is an instance of coffee making, then there exist an entity, another entity and a third entity such that the entity is an instance of liquid motion and the other entity is an instance of soaking and the third entity is an instance of removing and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the other entity and the beginning of the time of existence of the other entity happens before the beginning of the time of existence of the third entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10834-10847	If a physical is an instance of diuretic, then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityOC such that the third entity is an instance of human and the entity is an instance of removing and the other entity is an instance of liquid and the third entity experiences the entity and the other entity moves during the entity and the other entity originates at the third entity and the third entity doesn't contain the other entityOC and the entity ends up at the other entityOC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9548-9557	If a physical is an instance of detergent, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of removing and the other entity is an instance of substance and the other entity is a patient of the entity and the entity originates at the third entity and the third entity is a surface of the fourth entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 741-748	If a process is an instance of dismantling weapon of mass destruction, then there exists another process such that the other process is a subprocess of the process and the other process is an instance of destruction or the other process is an instance of removing
No TPTP formula. May not be expressible in strict first order.	Food.kif 799-834	If a time position is an instance of espresso making, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity,, , a tenth entity and a eleventh entity such that the entity is an instance of heating and the other entity is a patient of the entity and the measure of the other entity is the third entity liter(s) and the approximate value of the third entity is 0.03 and the measure of the other entity is the fourth entity celsius degree(s) and the approximate value of the fourth entity is 90 holds during the end of the time of existence of the entity and the fifth entity is an instance of liquid motion and the other entity is a patient of the fifth entity and the measure of the other entity is the sixth entity 1 thousand pascals(s) and the approximate value of the sixth entity is 900 holds during the fifth entity and the fifth entity ends up at the seventh entity and the seventh entity is an instance of collection and the measure of the seventh entity is the eighth entity gram(s) and the approximate value of the eighth entity is 7.5 and the seventh entity is a member of the ninth entity and the ninth entity is an instance of coffee grind and fine grind is an attribute of the ninth entity and the seventh entity is located at the tenth entity and the tenth entity is an instance of filter and the eleventh entity is an instance of removing and the tenth entity is an instrument for the eleventh entity and the seventh entity is a patient of the eleventh entity and the end of the time of existence of the fifth entity is between the end of the time of existence of the entity and the end of the time of existence of the eleventh entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1368-1376	If a physical is an instance of absolute filter, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of removing and the entity originates at the other entity and the other entity is an instance of gas mixture and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 943-958	If a physical is an instance of air filter, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of removing and the other entity is a part of the fourth entity and the other entity is an instance of air and the third entity is not an instance of air and solid is an attribute of the third entity and the third entity is a patient of the entity and the third entity is a part of the fourth entity and the entity originates at the fourth entity and the fourth entity is an instance of mixture and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2516-2524	If a physical is an instance of filter, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of removing and the entity originates at the other entity and the other entity is an instance of mixture and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 922-936	If a physical is an instance of fuel filter, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of removing and the other entity is a part of the fourth entity and the other entity is an instance of fuel and the third entity is not an instance of fuel and the third entity is a patient of the entity and the third entity is a part of the fourth entity and the entity originates at the fourth entity and the fourth entity is an instance of solution and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7222-7230	If a physical is an instance of mine, then the physical has the purpose there exist an entity and the physicalRAL such that the entity is an instance of removing and the physicalRAL is a patient of the entity and the physicalRAL is an instance of mineral and the entity originates at the physical
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 912-926	If a physical is an instance of needle, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of animal and the other entity is an instance of TherapeuticProcss and fluid is an attribute of the third entity and the entity is a patient of the other entity and the physical is an instrument for the other entity and the fourth entity is an instance of removing or the fourth entity is an instance of inserting and the fourth entity is a subprocess of the other entity and the object transferred in the fourth entity is the third entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: