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。注: 可以用 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 10479-10481
(subclass Removing Transfer) Merge.kif 10477-10477

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


(relatedInternalConcept Decreasing Removing) Merge.kif 10082-10082
(subclass Aborting Removing) Mid-level-ontology.kif 19118-19118
(subclass Biopsy Removing) Mid-level-ontology.kif 21850-21850
(subclass BleedingAir Removing) Cars.kif 1508-1508
(subclass Circumision Removing) Mid-level-ontology.kif 18735-18735
(subclass Deforestation Removing) Geography.kif 2595-2595
(subclass Dredging Removing) Geography.kif 2597-2597
(subclass Drying Removing) Merge.kif 11724-11724
(subclass Erosion Removing) Geography.kif 2615-2615
(subclass Exfiltration Removing) MilitaryProcesses.kif 250-250
(subclass HairRemoval Removing) Mid-level-ontology.kif 9977-9977
(subclass Harvesting Removing) Mid-level-ontology.kif 15770-15770
(subclass Peeling Removing) Mid-level-ontology.kif 9988-9988
(subclass Sanitation Removing) Geography.kif 2774-2774
(subclass Sweeping Removing) Mid-level-ontology.kif 5805-5805
(subclass Uncovering Removing) Merge.kif 10492-10492
(subclass Washing Removing) Mid-level-ontology.kif 5815-5815
(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
(=>
    (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

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
(=>
    (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
(=>
    (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 ?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 ?C Chimney)
    (hasPurpose ?C
        (exists (?S ?R)
            (and
                (instance ?S Smoke)
                (instance ?R Removing)
                (instrument ?R ?C)))))
Mid-level-ontology.kif 12730-12737
(=>
    (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 ?DISMANTLE DismantlingWeaponOfMassDestruction)
    (exists (?PROCESS)
        (and
            (subProcess ?PROCESS ?DISMANTLE)
            (or
                (instance ?PROCESS Destruction)
                (instance ?PROCESS Removing)))))
WMD.kif 736-743
(=>
    (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 933-948
(=>
    (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 ?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 ?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 ?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 ?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


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