Removing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Removing

Removing(removing)

Babylonian_Captivity, Bowdlerism, C-section, Comstockery, Coventry, D_and_C, G.I., GI, Section_Eight, abandon, abdominal_delivery, abdominocentesis, ablate, ablative, ablution, ablutionary, abolish, abrade, abrasion, abscise, abscission, absent, abstraction, acid-wash, actual_eviction, adenoidectomy, adrenalectomy, air-drop, alter, amnio, amniocentesis, amputation, anathematisation, anathematization, antiseptic, antisepticize, aphaeresis, apheresis, aphesis, appendectomy, appendicectomy, arthrocentesis, asbestos_abatement, aseptic, asphyxiating, aspirate, attrition, attritional, autotomy, bail...

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 10635-10637
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10633-10633	Removing is a subclass of transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10241-10241	Decreasing is internally related to removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17843-17843	Aborting is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20386-20386	Biopsy is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1527-1527	Bleeding air is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17460-17460	Circumision is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2616-2616	Deforestation is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2618-2618	Dredging is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11880-11880	Drying is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2636-2636	Erosion 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 9123-9123	Hair removal is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14649-14649	Harvesting is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9134-9134	Peeling is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2796-2796	Sanitation is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5216-5216	Sweeping is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10648-10648	Uncovering is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5226-5226	Washing is a subclass of removing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1120-1120
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1462-1462

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 10639-10646	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 2098-2111	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 process and an entity such that the process is an instance of biological process and the process is an instance of removing and the process originates at the agent and the entity is an instance of sewage and the agent is an agent of the process and the entity 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 an object such that the object is a member of the collection and the agent is an agent of the object and there exist another object, the object2 and the agent2 such that the agent is an instance of removing and the other object is a patient of the agent and the other object is an instance of pure substance and solid is an attribute of the other object and the object2 is a member of the collection and the agent2 is an instance of selling and the object2 is an agent of the agent2 and the other 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 an object such that the object is a member of the collection and the agent is an agent of the object and there exist another object, the object2 and the agent2 such that the agent is an instance of removing or the other object is an instance of sewage and the other object is a patient of the agent and the other object is an instance of electron or the other object is an instance of water or the other object is an instance of pure substance and the other object is capable of doing combustion as a patient and the object2 is a member of the collection and the agent2 is an instance of financial transaction and the object2 is an agent of the agent2 and the other object is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1861-1869	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 8497-8504	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 water and the process originates at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11770-11777	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 7693-7702	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 736-743	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.	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 2459-2467	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 5785-5793	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.	Merge.kif 10709-10721	If a process is an instance of substituting, then there exist another process, a third process,, , an entity,, , another entity and an object such that the other process is an instance of putting and the third process is an instance of removing and the other process is a subprocess of the process and the third process is a subprocess of the process and the entity is a patient of the third process and the third process originates at the object and the other entity is a patient of the other process and the other process ends up at the object and the entity is not equal to the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4910-4920	If a physical is an instance of tire changer, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of removing and the other entity is an instance of tire and the third entity is an instance of rim and the entity originates at the third entity and the object transferred in the entity is the other entity and the physical is an instrument for the entity

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