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 subclass Removing and Transfer

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


(relatedInternalConcept Decreasing Removing) Merge.kif 10082-10082 relatedInternalConcept Decreasing and Removing
(subclass Aborting Removing) Mid-level-ontology.kif 19118-19118 subclass Aborting and Removing
(subclass Biopsy Removing) Mid-level-ontology.kif 21850-21850 subclass Biopsy and Removing
(subclass BleedingAir Removing) Cars.kif 1508-1508 subclass BleedingAir and Removing
(subclass Circumision Removing) Mid-level-ontology.kif 18735-18735 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 11724-11724 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 9977-9977 subclass HairRemoval and Removing
(subclass Harvesting Removing) Mid-level-ontology.kif 15770-15770 subclass Harvesting and Removing
(subclass Peeling Removing) Mid-level-ontology.kif 9988-9988 subclass Peeling and Removing
(subclass Sanitation Removing) Geography.kif 2774-2774 subclass Sanitation and Removing
(subclass Sweeping Removing) Mid-level-ontology.kif 5805-5805 subclass Sweeping and Removing
(subclass Uncovering Removing) Merge.kif 10492-10492 subclass Uncovering and Removing
(subclass Washing Removing) Mid-level-ontology.kif 5815-5815 subclass Washing and Removing
(termFormat ChineseLanguage Removing "移除") chinese_format.kif 1120-1120 termFormat ChineseLanguage, Removing and "移除"
(termFormat EnglishLanguage Removing "removing") english_format.kif 1462-1462 termFormat EnglishLanguage, Removing and "removing"

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