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

VerbNet: leave-51.2|abandon, remove-10.1|abolish, wipe_manner-10.4.1|scour, banish-10.2|banish, banish-10.2|banish, cheat-10.6|strip, dress-41.1.1|bathe, dress-41.1.1|bathe, cheat-10.6|bereave, banish-10.2|banish, substance_emission-43.4|bleed, debone-10.8|debone, fire-10.10|expel, wipe_manner-10.4.1|expurgate, wipe_manner-10.4.1|expurgate, wipe_instr-10.4.2|brush, remove-10.1|dislodge, pit-10.7|burl, banish-10.2|recall, throw-17.1|discard, throw-17.1|discard, banish-10.2|banish, wipe_manner-10.4.1|expurgate, dress-41.1.1|change, throw-17.1|discard, cheat-10.6|cleanse, clear-10.3|clear, carve-21.2|prune, pocket-9.10|cloister, braid-41.2.2|comb, pit-10.7|core, wipe_manner-10.4.1|skim, wipe_manner-10.4.1|skim, carve-21.2|prune, remove-10.1|cull, carve-21.2|prune, fire-10.10|suspend, debone-10.8|debone, debone-10.8|declaw, debone-10.8|decontaminate, debone-10.8|defang, debone-10.8|defat, other_cos-45.4|deflate, debone-10.8|defog, debone-10.8|deforest, debone-10.8|degas, debone-10.8|delouse, debone-10.8|defog, cheat-10.6|strip, cheat-10.6|strip, ...

appearance as argument number 1

(documentation Removing ChineseLanguage "这是把一些东西从一个位置拿走的 Process Class。注：可以用 CaseRole 的 patient 和origin 来分别指明要移走的东西和它的位置。")	chinese_format.kif 3031-3032
(documentation Removing EnglishLanguage "The Class of Processes where something is taken away from a location. Note that the thing removed and the location are specified with the CaseRoles patient and origin, respectively.")	Merge.kif 10479-10481
(subclass Removing Transfer)	Merge.kif 10477-10477	subclass Removing and Transfer

appearance as argument number 2

(relatedInternalConcept Decreasing Removing)	Merge.kif 10082-10082	relatedInternalConcept Decreasing and Removing
(subclass Aborting Removing)	Mid-level-ontology.kif 19118-19118	subclass Aborting and Removing
(subclass Biopsy Removing)	Mid-level-ontology.kif 21850-21850	subclass Biopsy and Removing
(subclass BleedingAir Removing)	Cars.kif 1508-1508	subclass BleedingAir and Removing
(subclass Circumision Removing)	Mid-level-ontology.kif 18735-18735	subclass Circumision and Removing
(subclass Deforestation Removing)	Geography.kif 2595-2595	subclass Deforestation and Removing
(subclass Dredging Removing)	Geography.kif 2597-2597	subclass Dredging and Removing
(subclass Drying Removing)	Merge.kif 11724-11724	subclass Drying and Removing
(subclass Erosion Removing)	Geography.kif 2615-2615	subclass Erosion and Removing
(subclass Exfiltration Removing)	MilitaryProcesses.kif 250-250	subclass Exfiltration and Removing
(subclass HairRemoval Removing)	Mid-level-ontology.kif 9977-9977	subclass HairRemoval and Removing
(subclass Harvesting Removing)	Mid-level-ontology.kif 15770-15770	subclass Harvesting and Removing
(subclass Peeling Removing)	Mid-level-ontology.kif 9988-9988	subclass Peeling and Removing
(subclass Sanitation Removing)	Geography.kif 2774-2774	subclass Sanitation and Removing
(subclass Sweeping Removing)	Mid-level-ontology.kif 5805-5805	subclass Sweeping and Removing
(subclass Uncovering Removing)	Merge.kif 10492-10492	subclass Uncovering and Removing
(subclass Washing Removing)	Mid-level-ontology.kif 5815-5815	subclass Washing and Removing
(termFormat ChineseLanguage Removing "移除")	chinese_format.kif 1120-1120	termFormat ChineseLanguage, Removing and "移除"
(termFormat EnglishLanguage Removing "removing")	english_format.kif 1462-1462	termFormat EnglishLanguage, Removing and "removing"

antecedent

(=> (and (instance ?FILTER AbsoluteFilter) (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (patient ?REMOVE ?PARTICLE) (attribute ?PARTICLE Solid) (instrument ?REMOVE ?FILTER)) (not (part ?PARTICLE ?GAS)))	MilitaryDevices.kif 1379-1389	instance Object and AbsoluteFilter instance Process and Removing origin Process and Object instance Object and GasMixture patient Process and Object attribute Object and Solid instrument Process and Object part Object and Object
(=> (and (instance ?REMOVE Removing) (origin ?REMOVE ?PLACE) (patient ?REMOVE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?REMOVE)) (located ?OBJ ?PLACE)) (holdsDuring (EndFn (WhenFn ?REMOVE)) (not (located ?OBJ ?PLACE)))))	Merge.kif 10483-10490	instance Process and Removing origin Process and Object patient Process and Entity holdsDuring BeginFn WhenFn Process and located Entity and Object holdsDuring EndFn WhenFn Process and located Entity and Object

consequent

(=> (and (instance ?ANI Animal) (instance ?D DiseaseOrSyndrome) (not (attribute ?ANI ?D))) (exists (?P ?W) (and (instance ?P BiologicalProcess) (instance ?P Removing) (origin ?P ?ANI) (instance ?W Sewage) (agent ?P ?ANI) (patient ?P ?W))))	Mid-level-ontology.kif 2616-2629	instance Agent and Animal instance Entity and DiseaseOrSyndrome attribute Agent and Entity Process Entity instance Process and BiologicalProcess instance Process and Removing origin Process and Agent instance Entity and Sewage agent Process and Agent patient Process and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG Mining)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Removing) (patient ?EV ?THING) (instance ?THING PureSubstance) (attribute ?THING Solid) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 631-648	instance Collection and Organization attribute Collection and Mining Agent Object member Object and Collection agent Object and Agent Object Object and Agent instance Agent and Removing patient Agent and Object instance Object and PureSubstance attribute Object and Solid member Object and Collection instance Agent and Selling agent Agent and Object patient Agent and Object
(=> (and (instance ?ORG Organization) (attribute ?ORG Utilities)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (or (instance ?EV Removing) (instance ?THING Sewage)) (patient ?EV ?THING) (or (instance ?THING Electron) (instance ?THING Water) (and (instance ?THING PureSubstance) (capability Combustion patient ?THING))) (member ?MEM2 ?ORG) (instance ?EV2 FinancialTransaction) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 954-977	instance Collection and Organization attribute Collection and Utilities Agent Object member Object and Collection agent Object and Agent Object Object and Agent instance Agent and Removing instance Object and Sewage patient Agent and Object instance Object and Electron instance Object and Water instance Object and PureSubstance capability Combustion, patient and Object member Object and Collection instance Agent and FinancialTransaction agent Agent and Object patient Agent and Object
(=> (instance ?B BrushOrComb) (hasPurpose ?B (exists (?S) (and (or (instance ?S Removing) (instance ?S SurfaceChange)) (instrument ?S ?B)))))	Mid-level-ontology.kif 2379-2387	instance Physical and BrushOrComb hasPurpose Physical and entity instance entity and Removing instance entity and SurfaceChange instrument entity and Physical
(=> (instance ?BEVERAGE DistilledAlcoholicBeverage) (exists (?REMOVE ?WATER) (and (instance ?REMOVE Removing) (patient ?REMOVE ?WATER) (instance ?WATER Water) (origin ?REMOVE ?BEVERAGE))))	Mid-level-ontology.kif 9360-9367	instance Object and DistilledAlcoholicBeverage Process Entity instance Process and Removing patient Process and Entity instance Entity and Water origin Process and Object
(=> (instance ?C Chimney) (hasPurpose ?C (exists (?S ?R) (and (instance ?S Smoke) (instance ?R Removing) (instrument ?R ?C)))))	Mid-level-ontology.kif 12730-12737	instance Physical and Chimney hasPurpose Physical and entity entity instance entity and Smoke instance entity and Removing instrument entity and Physical
(=> (instance ?DETERGENT Detergent) (hasPurpose ?DETERGENT (exists (?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT) (and (instance ?REMOVE Removing) (instance ?SUBSTANCE Substance) (patient ?REMOVE ?SUBSTANCE) (origin ?REMOVE ?SURFACE) (surface ?SURFACE ?OBJECT)))))	Mid-level-ontology.kif 8526-8535	instance Physical and Detergent hasPurpose Physical and entity entity, entity and entity instance entity and Removing instance entity and Substance patient entity and entity origin entity and entity surface entity and entity
(=> (instance ?DISMANTLE DismantlingWeaponOfMassDestruction) (exists (?PROCESS) (and (subProcess ?PROCESS ?DISMANTLE) (or (instance ?PROCESS Destruction) (instance ?PROCESS Removing)))))	WMD.kif 736-743	instance Process and DismantlingWeaponOfMassDestruction Process subProcess Process and Process instance Process and Destruction instance Process and Removing
(=> (instance ?FILTER AbsoluteFilter) (hasPurpose ?FILTER (exists (?REMOVE ?GAS) (and (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (instrument ?REMOVE ?FILTER)))))	MilitaryDevices.kif 1368-1376	instance Physical and AbsoluteFilter hasPurpose Physical and entity entity instance entity and Removing origin entity and entity instance entity and GasMixture instrument entity and Physical
(=> (instance ?FILTER AirFilter) (hasPurpose ?FILTER (exists (?REMOVE ?AIR ?NONAIR ?MIX) (and (instance ?REMOVE Removing) (part ?AIR ?MIX) (instance ?AIR Air) (not (instance ?NONAIR Air)) (attribute ?NONAIR Solid) (patient ?REMOVE ?NONAIR) (part ?NONAIR ?MIX) (origin ?REMOVE ?MIX) (instance ?MIX Mixture) (instrument ?REMOVE ?FILTER)))))	Cars.kif 933-948	instance Physical and AirFilter hasPurpose Physical and entity entity, entity and entity instance entity and Removing part entity and entity instance entity and Air instance entity and Air attribute entity and Solid patient entity and entity part entity and entity origin entity and entity instance entity and Mixture instrument entity and Physical
(=> (instance ?FILTER Filter) (hasPurpose ?FILTER (exists (?REMOVE ?M) (and (instance ?REMOVE Removing) (origin ?REMOVE ?M) (instance ?M Mixture) (instrument ?REMOVE ?FILTER)))))	Mid-level-ontology.kif 2979-2987	instance Physical and Filter hasPurpose Physical and entity entity instance entity and Removing origin entity and entity instance entity and Mixture instrument entity and Physical
(=> (instance ?FILTER FuelFilter) (hasPurpose ?FILTER (exists (?REMOVE ?FUEL ?NONFUEL ?SOLUTION) (and (instance ?REMOVE Removing) (part ?FUEL ?SOLUTION) (instance ?FUEL Fuel) (not (instance ?NONFUEL Fuel)) (patient ?REMOVE ?NONFUEL) (part ?NONFUEL ?SOLUTION) (origin ?REMOVE ?SOLUTION) (instance ?SOLUTION Solution) (instrument ?REMOVE ?FILTER)))))	Cars.kif 912-926	instance Physical and FuelFilter hasPurpose Physical and entity entity, entity and entity instance entity and Removing part entity and entity instance entity and Fuel instance entity and Fuel patient entity and entity part entity and entity origin entity and entity instance entity and Solution instrument entity and Physical
(=> (instance ?MINE Mine) (hasPurpose ?MINE (exists (?REMOVE ?MINERAL) (and (instance ?REMOVE Removing) (patient ?REMOVE ?MINERAL) (instance ?MINERAL Mineral) (origin ?REMOVE ?MINE)))))	Mid-level-ontology.kif 6406-6414	instance Physical and Mine hasPurpose Physical and entity PhysicalRAL instance entity and Removing patient entity and PhysicalRAL instance PhysicalRAL and Mineral origin entity and Physical
(=> (instance ?SUB Substituting) (exists (?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE) (and (instance ?PUT Putting) (instance ?REMOVE Removing) (subProcess ?PUT ?SUB) (subProcess ?REMOVE ?SUB) (patient ?REMOVE ?OBJ1) (origin ?REMOVE ?PLACE) (patient ?PUT ?OBJ2) (destination ?PUT ?PLACE) (not (equal ?OBJ1 ?OBJ2)))))	Merge.kif 10553-10565	instance Process and Substituting Process Process, Entity, Entity and Object instance Process and Putting instance Process and Removing subProcess Process and Process subProcess Process and Process patient Process and Entity origin Process and Object patient Process and Entity destination Process and Object equal Entity and Entity
(=> (instance ?TC TireChanger) (hasPurpose ?TC (exists (?RE ?T ?R) (and (instance ?RE Removing) (instance ?T Tire) (instance ?R WheelRim) (origin ?RE ?R) (objectTransferred ?RE ?T) (instrument ?RE ?TC)))))	Cars.kif 4866-4876	instance Physical and TireChanger hasPurpose Physical and entity entity and entity instance entity and Removing instance entity and Tire instance entity and WheelRim origin entity and entity objectTransferred entity and entity instrument entity and Physical

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners