Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Removing

 Sigma KEE - Removing
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 11440-11442
(documentation Removing JapaneseLanguage "何かがある場所から取り除かれる Process の Class。 注：削除されたものと場所は、それぞれ CaseRoles patient と origin で指定される。") japanese_format.kif 1799-1800
(subclass Removing Transfer) Merge.kif 11438-11438 移除 是 转移 的 subclass

appearance as argument number 2
-------------------------


(relatedInternalConcept Decreasing Removing) Merge.kif 10984-10984 减少 和 移除 是 内部相关
(subclass Aborting Removing) Mid-level-ontology.kif 21781-21781 中止 是 移除 的 subclass
(subclass Amputating Removing) Medicine.kif 6245-6245 Amputating 是 移除 的 subclass
(subclass Biopsy Removing) Mid-level-ontology.kif 24405-24405 活检 是 移除 的 subclass
(subclass Birth Removing) Mid-level-ontology.kif 24328-24328 出生 是 移除 的 subclass
(subclass BleedingAir Removing) Cars.kif 1513-1513 BleedingAir 是 移除 的 subclass
(subclass Circumision Removing) Mid-level-ontology.kif 21345-21345 割礼 是 移除 的 subclass
(subclass Deforestation Removing) Geography.kif 2642-2642 森林砍伐 是 移除 的 subclass
(subclass Dredging Removing) Geography.kif 2644-2644 清淤 是 移除 的 subclass
(subclass Drying Removing) Merge.kif 12833-12833 烘干 是 移除 的 subclass
(subclass Erosion Removing) Geography.kif 2662-2662 侵蚀 是 移除 的 subclass
(subclass Excreting Removing) Mid-level-ontology.kif 2106-2106 Excreting 是 移除 的 subclass
(subclass Exfiltration Removing) MilitaryProcesses.kif 250-250 渗出 是 移除 的 subclass
(subclass HairRemoval Removing) Mid-level-ontology.kif 12023-12023 除毛 是 移除 的 subclass
(subclass Harvesting Removing) Mid-level-ontology.kif 18362-18362 收获 是 移除 的 subclass
(subclass Moulting Removing) Geography.kif 6417-6417 Moulting 是 移除 的 subclass
(subclass Peeling Removing) Mid-level-ontology.kif 12034-12034 去皮 是 移除 的 subclass
(subclass Sanitation Removing) Geography.kif 2903-2903 卫生 是 移除 的 subclass
(subclass Sweeping Removing) Mid-level-ontology.kif 5558-5558 扫 是 移除 的 subclass
(subclass Thoracentesis Removing) Medicine.kif 878-878 Thoracentesis 是 移除 的 subclass
(subclass Uncovering Removing) Merge.kif 11453-11453 掀开 是 移除 的 subclass
(subclass Washing Removing) Mid-level-ontology.kif 5568-5568 洗涤 是 移除 的 subclass
(termFormat ChineseLanguage Removing "移除") chinese_format.kif 1120-1120 洗涤 是 移除 的 subclass
(termFormat EnglishLanguage Removing "removing") english_format.kif 1457-1457 洗涤 是 移除 的 subclass

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 1379-1389
(=>
    (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 11444-11451

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 2155-2168
(=>
    (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 6050-6069
(=>
    (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 6116-6134
(=>
    (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 6387-6398
(=>
    (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 6368-6379
(=>
    (instance ?B BrushOrComb)
    (hasPurpose ?B
        (exists (?S)
            (and
                (or
                    (instance ?S Removing)
                    (instance ?S SurfaceChange))
                (instrument ?S ?B)))))		 Mid-level-ontology.kif 1917-1925
(=>
    (instance ?BEVERAGE DistilledAlcoholicBeverage)
    (exists (?REMOVE ?WATER)
        (and
            (instance ?REMOVE Removing)
            (patient ?REMOVE ?WATER)
            (instance ?WATER FreshWater)
            (origin ?REMOVE ?BEVERAGE))))		 Mid-level-ontology.kif 11143-11150
(=>
    (instance ?C Chimney)
    (hasPurpose ?C
        (exists (?S ?R)
            (and
                (instance ?S Smoke)
                (instance ?R Removing)
                (instrument ?R ?C)))))		 Mid-level-ontology.kif 15288-15295
(=>
    (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 4565-4580
(=>
    (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 10228-10241
(=>
    (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 9066-9075
(=>
    (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 1368-1376
(=>
    (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 2516-2524
(=>
    (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 6740-6748
(=>
    (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 924-938
(=>
    (instance ?PW PurifiedWater)
    (exists (?R ?W ?S)
        (and
            (instance ?R Removing)
            (origin ?R ?W)
            (instance ?W Water)
            (patient ?R ?S)
            (instance ?S Substance)
            (part ?S ?W)
            (result ?R ?PW))))		 Food.kif 248-258

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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