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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Removing
Removing

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 10620-10622
(subclass Removing Transfer) Merge.kif 10618-10618

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


(relatedInternalConcept Decreasing Removing) Merge.kif 10226-10226
(subclass Aborting Removing) Mid-level-ontology.kif 19160-19160
(subclass Biopsy Removing) Mid-level-ontology.kif 21893-21893
(subclass BleedingAir Removing) Cars.kif 1509-1509
(subclass Circumision Removing) Mid-level-ontology.kif 18767-18767
(subclass Deforestation Removing) Geography.kif 2595-2595
(subclass Dredging Removing) Geography.kif 2597-2597
(subclass Drying Removing) Merge.kif 11865-11865
(subclass Erosion Removing) Geography.kif 2615-2615
(subclass Exfiltration Removing) MilitaryProcesses.kif 250-250
(subclass HairRemoval Removing) Mid-level-ontology.kif 9974-9974
(subclass Harvesting Removing) Mid-level-ontology.kif 15798-15798
(subclass Peeling Removing) Mid-level-ontology.kif 9985-9985
(subclass Sanitation Removing) Geography.kif 2774-2774
(subclass Sweeping Removing) Mid-level-ontology.kif 5811-5811
(subclass Uncovering Removing) Merge.kif 10633-10633
(subclass Washing Removing) Mid-level-ontology.kif 5821-5821
(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 10624-10631

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 2622-2635
(=>
    (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 2385-2393
(=>
    (instance ?BEVERAGE DistilledAlcoholicBeverage)
    (exists (?REMOVE ?WATER)
        (and
            (instance ?REMOVE Removing)
            (patient ?REMOVE ?WATER)
            (instance ?WATER Water)
            (origin ?REMOVE ?BEVERAGE))))
Mid-level-ontology.kif 9342-9349
(=>
    (instance ?C Chimney)
    (hasPurpose ?C
        (exists (?S ?R)
            (and
                (instance ?S Smoke)
                (instance ?R Removing)
                (instrument ?R ?C)))))
Mid-level-ontology.kif 12758-12765
(=>
    (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 8508-8517
(=>
    (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 934-949
(=>
    (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 2985-2993
(=>
    (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 913-927
(=>
    (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 6385-6393
(=>
    (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 10694-10706
(=>
    (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 4868-4878


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