| Removing | |
| 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 11515-11517 | |
| (documentation Removing JapaneseLanguage "何かがある場所から取り除かれる Process の Class。 注：削除されたものと場所は、それぞれ CaseRoles patient と origin で指定される。") | japanese_format.kif 1799-1800 | |
| (subclass Removing Transfer) | Merge.kif 11513-11513 |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Decreasing Removing) | Merge.kif 11059-11059 | |
| (subclass Aborting Removing) | Mid-level-ontology.kif 23108-23108 | |
| (subclass Amputating Removing) | Medicine.kif 6265-6265 | |
| (subclass Biopsy Removing) | Mid-level-ontology.kif 25733-25733 | |
| (subclass Birth Removing) | Mid-level-ontology.kif 25656-25656 | |
| (subclass BleedingAir Removing) | Cars.kif 1513-1513 | |
| (subclass Circumision Removing) | Mid-level-ontology.kif 22672-22672 | |
| (subclass Corrosion Removing) | Transportation.kif 4253-4253 | |
| (subclass Deforestation Removing) | Geography.kif 2642-2642 | |
| (subclass Dredging Removing) | Geography.kif 2644-2644 | |
| (subclass Drying Removing) | Merge.kif 12912-12912 | |
| (subclass Erosion Removing) | Geography.kif 2662-2662 | |
| (subclass Excreting Removing) | Mid-level-ontology.kif 2576-2576 | |
| (subclass Exfiltration Removing) | MilitaryProcesses.kif 250-250 | |
| (subclass HairRemoval Removing) | Mid-level-ontology.kif 13136-13136 | |
| (subclass Harvesting Removing) | Mid-level-ontology.kif 19643-19643 | |
| (subclass Moulting Removing) | Geography.kif 6512-6512 | |
| (subclass Peeling Removing) | Mid-level-ontology.kif 13147-13147 | |
| (subclass Sanitation Removing) | Geography.kif 2903-2903 | |
| (subclass Sweeping Removing) | Mid-level-ontology.kif 6501-6501 | |
| (subclass Thoracentesis Removing) | Medicine.kif 869-869 | |
| (subclass Uncovering Removing) | Merge.kif 11528-11528 | |
| (subclass Washing Removing) | Mid-level-ontology.kif 6511-6511 | |
| (termFormat ChineseLanguage Removing "移除") | chinese_format.kif 1120-1120 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| 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 1536-1546 | |
| (=> (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 11519-11526 |
| 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) (objectTransferred ?P ?W)))) |
Mid-level-ontology.kif 2625-2638 | |
| (=> (and (instance ?C Coughing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?L ?O ?T) (and (instance ?L Lung) (instance ?T Throat) (instance ?O Object) (instance ?R Removing) (part ?L ?H) (part ?T ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (or (located ?O ?T) (located ?O ?L))))))) |
Mid-level-ontology.kif 6993-7012 | |
| (=> (and (instance ?C Sneezing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?N ?NOSE ?O) (and (instance ?N NasalCavity) (instance ?NOSE Nose) (equal ?NOSE (HoleHostFn ?N)) (instance ?O Object) (instance ?R Removing) (part ?NOSE ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (located ?O ?N)))))) |
Mid-level-ontology.kif 7059-7077 | |
| (=> (and (instance ?F Food) (attribute ?F DecafAttribute) (piece ?C ?F) (instance ?C Caffeine)) (exists (?R) (and (instance ?R Removing) (destination ?R ?F) (patient ?R ?C)))) |
Food.kif 425-435 | |
| (=> (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 | |
| (=> (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 | |
| (=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O Organism) (instance ?P AnatomicalStructure) (part ?P ?O)) (exists (?R) (and (instance ?R Removing) (origin ?R ?O) (patient ?R ?P)))) |
Geography.kif 6482-6493 | |
| (=> (and (sheddingLeaves ?T ?L) (instance ?T DeciduousTree) (instance ?L PlantLeaf)) (exists (?SHED ?S) (and (subclass ?SHED Removing) (frequency ?SHED YearDuration) (instance ?S ?SHED) (origin ?S ?T) (patient ?S ?L)))) |
Geography.kif 6463-6474 | |
| (=> (instance ?B BrushOrComb) (hasPurpose ?B (exists (?S) (and (or (instance ?S Removing) (instance ?S SurfaceChange)) (instrument ?S ?B))))) |
Mid-level-ontology.kif 2387-2395 | |
| (=> (instance ?BEVERAGE DistilledAlcoholicBeverage) (exists (?REMOVE ?WATER) (and (instance ?REMOVE Removing) (patient ?REMOVE ?WATER) (instance ?WATER FreshWater) (origin ?REMOVE ?BEVERAGE)))) |
Mid-level-ontology.kif 12256-12263 | |
| (=> (instance ?C Chimney) (hasPurpose ?C (exists (?S ?R) (and (instance ?S Smoke) (instance ?R Removing) (instrument ?R ?C))))) |
Mid-level-ontology.kif 16411-16418 | |
| (=> (instance ?C Colander) (hasPurpose ?C (exists (?MIX ?SUB ?SOLID ?REMOVE) (and (instance ?MIX Mixture) (instance ?SUB Substance) (part ?SUB ?MIX) (attribute ?SUB Liquid) (instance ?REMOVE Removing) (patient ?REMOVE ?SUB) (instance ?SOLID Substance) (part ?SOLID ?MIX) (attribute ?SOLID Solid) (result ?REMOVE ?SOLID) (instrument ?REMOVE ?C))))) |
Mid-level-ontology.kif 5015-5030 | |
| (=> (instance ?C Corrosion) (exists (?S ?R ?P) (and (instance ?S Substance) (patient ?C ?S) (instance ?R Removing) (patient ?R ?P) (part ?P ?S) (result ?C ?R)))) |
Transportation.kif 4261-4270 | |
| (=> (instance ?CM CoffeeMaking) (exists (?R ?LM ?CG ?W ?F ?C) (and (subProcess ?R ?CM) (instance ?R Removing) (origin ?R ?LM) (instance ?LM LiquidMixture) (part ?W ?LM) (instance ?W DrinkingWater) (part ?CG ?LM) (instance ?CG CoffeeGrind) (instrument ?R ?F) (instance ?F Filter) (result ?R ?C) (instance ?C Coffee)))) |
Food.kif 686-701 | |
| (=> (instance ?CM CoffeeMaking) (holdsDuring ?CM (exists (?LM ?S ?R) (and (instance ?LM LiquidMotion) (instance ?S Soaking) (instance ?R Removing) (before (BeginFn (WhenFn ?LM)) (BeginFn (WhenFn ?S))) (before (BeginFn (WhenFn ?S)) (BeginFn (WhenFn ?R))))))) |
Food.kif 703-716 | |
| (=> (instance ?D Diuretic) (hasPurpose ?D (exists (?R ?L ?H ?LOC) (and (instance ?H Human) (instance ?R Removing) (instance ?L Liquid) (experiencer ?R ?H) (moves ?R ?L) (origin ?L ?H) (not (contains ?H ?LOC)) (destination ?R ?LOC))))) |
Mid-level-ontology.kif 11339-11352 | |
| (=> (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 10054-10063 | |
| (=> (instance ?DISMANTLE DismantlingWeaponOfMassDestruction) (exists (?PROCESS) (and (subProcess ?PROCESS ?DISMANTLE) (or (instance ?PROCESS Destruction) (instance ?PROCESS Removing))))) |
WMD.kif 741-748 | |
| (=> (instance ?EM EspressoMaking) (holdsDuring ?EM (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R) (and (instance ?H Heating) (patient ?H ?W) (measure ?W (MeasureFn ?V Liter)) (approximateValue ?V 0.03) (holdsDuring (EndFn (WhenFn ?H)) (and (measure ?W (MeasureFn ?T CelsiusDegree)) (approximateValue ?T 90))) (instance ?LM LiquidMotion) (patient ?LM ?W) (holdsDuring ?LM (and (measure ?W (MeasureFn ?P (KiloFn Pascal))) (approximateValue ?P 900))) (destination ?LM ?COLL) (instance ?COLL Collection) (measure ?COLL (MeasureFn ?K Gram)) (approximateValue ?K 7.5) (member ?COLL ?CG) (instance ?CG CoffeeGrind) (attribute ?CG FineGrind) (located ?COLL ?F) (instance ?F Filter) (instance ?R Removing) (instrument ?R ?F) (patient ?R ?COLL) (temporallyBetween (EndFn (WhenFn ?H)) (EndFn (WhenFn ?LM)) (EndFn (WhenFn ?R))))))) |
Food.kif 799-834 | |
| (=> (instance ?FILTER AbsoluteFilter) (hasPurpose ?FILTER (exists (?REMOVE ?GAS) (and (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (instrument ?REMOVE ?FILTER))))) |
MilitaryDevices.kif 1525-1533 | |
| (=> (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 943-958 | |
| (=> (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 2986-2994 | |
| (=> (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 922-936 | |
| (=> (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 7683-7691 | |
| (=> (instance ?N Needle) (hasPurpose ?N (exists (?H ?TP ?F ?RI) (and (instance ?H Animal) (instance ?TP TherapeuticProcss) (attribute ?F Fluid) (patient ?TP ?H) (instrument ?TP ?N) (or (instance ?RI Removing) (instance ?RI Inserting)) (subProcess ?RI ?TP) (objectTransferred ?RI ?F))))) |
Medicine.kif 915-929 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|