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 10600-10602
(subclass Removing Transfer)	Merge.kif 10598-10598	subclass Removing and Transfer

appearance as argument number 2

(relatedInternalConcept Decreasing Removing)	Merge.kif 10206-10206	relatedInternalConcept Decreasing and Removing
(subclass Aborting Removing)	Mid-level-ontology.kif 19154-19154	subclass Aborting and Removing
(subclass Biopsy Removing)	Mid-level-ontology.kif 21887-21887	subclass Biopsy and Removing
(subclass BleedingAir Removing)	Cars.kif 1509-1509	subclass BleedingAir and Removing
(subclass Circumision Removing)	Mid-level-ontology.kif 18761-18761	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 11845-11845	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 9972-9972	subclass HairRemoval and Removing
(subclass Harvesting Removing)	Mid-level-ontology.kif 15796-15796	subclass Harvesting and Removing
(subclass Peeling Removing)	Mid-level-ontology.kif 9983-9983	subclass Peeling and Removing
(subclass Sanitation Removing)	Geography.kif 2774-2774	subclass Sanitation and Removing
(subclass Sweeping Removing)	Mid-level-ontology.kif 5811-5811	subclass Sweeping and Removing
(subclass Uncovering Removing)	Merge.kif 10613-10613	subclass Uncovering and Removing
(subclass Washing Removing)	Mid-level-ontology.kif 5821-5821	subclass Washing and Removing
(termFormat ChineseLanguage Removing "移除")	chinese_format.kif 1120-1120
(termFormat EnglishLanguage Removing "removing")	english_format.kif 1462-1462

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 10604-10611	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 2622-2635	instance Agent and Animal instance Attribute and DiseaseOrSyndrome attribute Agent and Attribute 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 2385-2393	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 9340-9347	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 12756-12763	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 8506-8515	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 934-949	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 2985-2993	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 913-927	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 6385-6393	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 10674-10686	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 4868-4878	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 3.0 is open source software produced by Articulate Software and its partners