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
-------------------------


(documentation Removing ChineseLanguage "这是把一些东西从一个位置拿走的 Process Class。注: 可以用 CaseRolepatientorigin 来分别指明要移走的东西和它的位置。") 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 11530-11532
(documentation Removing JapaneseLanguage "何かがある場所から取り除かれる ProcessClass。 注:削除されたものと場所は、それぞれ CaseRoles patientorigin で指定される。") japanese_format.kif 1799-1800
(subclass Removing Transfer) Merge.kif 11528-11528 Removing is a subclass of transfer

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


(relatedInternalConcept Decreasing Removing) Merge.kif 11074-11074 Decreasing is internally related to removing
(subclass Aborting Removing) Mid-level-ontology.kif 23108-23108 Aborting is a subclass of removing
(subclass Amputating Removing) Medicine.kif 6265-6265 Amputation is a subclass of removing
(subclass Biopsy Removing) Mid-level-ontology.kif 25731-25731 Biopsy is a subclass of removing
(subclass Birth Removing) Mid-level-ontology.kif 25654-25654 Birth is a subclass of removing
(subclass BleedingAir Removing) Cars.kif 1513-1513 Bleeding air is a subclass of removing
(subclass Circumision Removing) Mid-level-ontology.kif 22672-22672 Circumision is a subclass of removing
(subclass Corrosion Removing) Transportation.kif 4255-4255 Corrosion is a subclass of removing
(subclass Deforestation Removing) Geography.kif 2812-2812 Deforestation is a subclass of removing
(subclass Dredging Removing) Geography.kif 2814-2814 Dredging is a subclass of removing
(subclass Drying Removing) Merge.kif 12927-12927 Drying is a subclass of removing
(subclass Erosion Removing) Geography.kif 2832-2832 Erosion is a subclass of removing
(subclass Excreting Removing) Mid-level-ontology.kif 2576-2576 Excreting is a subclass of removing
(subclass Exfiltration Removing) MilitaryProcesses.kif 250-250 Exfiltration is a subclass of removing
(subclass HairRemoval Removing) Mid-level-ontology.kif 13136-13136 Hair removal is a subclass of removing
(subclass Harvesting Removing) Mid-level-ontology.kif 19643-19643 Harvesting is a subclass of removing
(subclass Moulting Removing) Geography.kif 6745-6745 Moulting is a subclass of removing
(subclass Peeling Removing) Mid-level-ontology.kif 13147-13147 Peeling is a subclass of removing
(subclass Sanitation Removing) Geography.kif 3073-3073 Sanitation is a subclass of removing
(subclass Sweeping Removing) Mid-level-ontology.kif 6501-6501 Sweeping is a subclass of removing
(subclass Thoracentesis Removing) Medicine.kif 869-869 Needle decompression is a subclass of removing
(subclass Uncovering Removing) Merge.kif 11543-11543 Uncovering is a subclass of removing
(subclass Washing Removing) Mid-level-ontology.kif 6511-6511 Washing is a subclass of removing
(termFormat ChineseLanguage Removing "移除") chinese_format.kif 1120-1120 Washing is a subclass of removing

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (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 11534-11541

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 6715-6726
(=>
    (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 6696-6707
(=>
    (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 4263-4272
(=>
    (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 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
(=>
    (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 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