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


s__documentation(s__Removing,s__ChineseLanguage,'"这是把一些东西从一个位置拿走的 Process Class。注: 可以用 CaseRolepatientorigin 来分别指明要移走的东西和它的位置。"')

chinese_format.kif 3031-3032
s__documentation(s__Removing,s__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 10853-10855
s__instance(s__Removing,s__SetOrClass)

s__instance(s__Transfer,s__SetOrClass)

s__subclass(s__Removing,s__Transfer)

Merge.kif 10851-10851 Removing is a subclass of transfer

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


s__relatedInternalConcept(s__Decreasing,s__Removing)

Merge.kif 10459-10459 Decreasing is internally related to removing
s__instance(s__Removing,s__SetOrClass)

s__subclass(s__Aborting,s__Removing)

s__instance(s__Aborting,s__SetOrClass)

Mid-level-ontology.kif 19834-19834 Aborting is a subclass of removing
s__instance(s__Removing,s__SetOrClass)

s__subclass(s__Biopsy,s__Removing)

s__instance(s__Biopsy,s__SetOrClass)

Mid-level-ontology.kif 22550-22550 Biopsy is a subclass of removing
s__instance(s__Removing,s__SetOrClass)

s__instance(s__Birth,s__SetOrClass)

s__subclass(s__Birth,s__Removing)

Mid-level-ontology.kif 22472-22472 Birth is a subclass of removing
s__instance(s__Removing,s__SetOrClass)

s__instance(s__BleedingAir,s__SetOrClass)

s__subclass(s__BleedingAir,s__Removing)

Cars.kif 1527-1527 Bleeding air is a subclass of removing
s__instance(s__Removing,s__SetOrClass)

s__subclass(s__Circumision,s__Removing)

s__instance(s__Circumision,s__SetOrClass)

Mid-level-ontology.kif 19435-19435 Circumision is a subclass of removing
s__instance(s__Deforestation,s__SetOrClass)

s__instance(s__Removing,s__SetOrClass)

s__subclass(s__Deforestation,s__Removing)

Geography.kif 2616-2616 Deforestation is a subclass of removing
s__instance(s__Removing,s__SetOrClass)

s__subclass(s__Dredging,s__Removing)

s__instance(s__Dredging,s__SetOrClass)

Geography.kif 2618-2618 Dredging is a subclass of removing
s__instance(s__Removing,s__SetOrClass)

s__subclass(s__Drying,s__Removing)

s__instance(s__Drying,s__SetOrClass)

Merge.kif 12139-12139 Drying is a subclass of removing
s__instance(s__Removing,s__SetOrClass)

s__subclass(s__Erosion,s__Removing)

s__instance(s__Erosion,s__SetOrClass)

Geography.kif 2636-2636 Erosion is a subclass of removing
s__instance(s__Removing,s__SetOrClass)

s__subclass(s__Exfiltration,s__Removing)

s__instance(s__Exfiltration,s__SetOrClass)

MilitaryProcesses.kif 250-250 Exfiltration is a subclass of removing
s__instance(s__Removing,s__SetOrClass)

s__subclass(s__HairRemoval,s__Removing)

s__instance(s__HairRemoval,s__SetOrClass)

Mid-level-ontology.kif 10535-10535 Hair removal is a subclass of removing
s__instance(s__Removing,s__SetOrClass)

s__instance(s__Harvesting,s__SetOrClass)

s__subclass(s__Harvesting,s__Removing)

Mid-level-ontology.kif 16525-16525 Harvesting is a subclass of removing
s__instance(s__Removing,s__SetOrClass)

s__subclass(s__Peeling,s__Removing)

s__instance(s__Peeling,s__SetOrClass)

Mid-level-ontology.kif 10546-10546 Peeling is a subclass of removing
s__instance(s__Removing,s__SetOrClass)

s__subclass(s__Sanitation,s__Removing)

s__instance(s__Sanitation,s__SetOrClass)

Geography.kif 2796-2796 Sanitation is a subclass of removing
s__instance(s__Removing,s__SetOrClass)

s__instance(s__Sweeping,s__SetOrClass)

s__subclass(s__Sweeping,s__Removing)

Mid-level-ontology.kif 5230-5230 Sweeping is a subclass of removing
s__instance(s__Removing,s__SetOrClass)

s__instance(s__Uncovering,s__SetOrClass)

s__subclass(s__Uncovering,s__Removing)

Merge.kif 10866-10866 Uncovering is a subclass of removing
s__subclass(s__Washing,s__Removing)

s__instance(s__Removing,s__SetOrClass)

s__instance(s__Washing,s__SetOrClass)

Mid-level-ontology.kif 5240-5240 Washing is a subclass of removing
s__termFormat(s__ChineseLanguage,s__Removing,'"移除"')

chinese_format.kif 1120-1120
s__termFormat(s__EnglishLanguage,s__Removing,'"removing"')

english_format.kif 1462-1462

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


( ! [V__FILTER,V__REMOVE,V__GAS,V__PARTICLE] :
   ((s__instance(V__PARTICLE,s__Object) =>
       (((s__instance(V__FILTER,s__AbsoluteFilter) &
             s__instance(V__REMOVE,s__Removing) &
             s__origin(V__REMOVE,V__GAS)
           &
           s__instance(V__GAS,s__GasMixture) &
           s__patient(V__REMOVE,V__PARTICLE)
         &
         s__attribute(V__PARTICLE,s__Solid) &
         s__instrument(V__REMOVE,V__FILTER))
     =>
     (~(s__part(V__PARTICLE,V__GAS))))))
)
)

MilitaryDevices.kif 1379-1389
No TPTP formula. May not be expressible in strict first order. Merge.kif 10857-10864

consequent
-------------------------


( ! [V__ANI,V__D] :
   (((s__instance(V__ANI,s__Animal) &
         s__instance(V__D,s__DiseaseOrSyndrome) &
         ~(s__attribute(V__ANI,V__D)))
     =>
     (( ? [V__P, V__W] :
         ((s__instance(V__P,s__BiologicalProcess) &
             s__instance(V__P,s__Removing) &
             s__origin(V__P,V__ANI)
           &
           s__instance(V__W,s__Sewage) &
           s__agent(V__P,V__ANI)
         &
         s__patient(V__P,V__W))))))
)
)

Mid-level-ontology.kif 2098-2111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5696-5715
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__Mining))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Removing) &
                     s__patient(V__EV,V__THING)
                   &
                   s__instance(V__THING,s__PureSubstance) &
                   s__attribute(V__THING,s__Solid) &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 631-648
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__Utilities))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   ((s__instance(V__EV,s__Removing) |
                       s__instance(V__THING,s__Sewage))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   (s__instance(V__THING,s__Electron) |
                     s__instance(V__THING,s__Water) |
                     (s__instance(V__THING,s__PureSubstance) &
                       s__capability(s__Combustion,s__patient__m,V__THING)))
                 &
                 s__member(V__MEM2,V__ORG)
               &
               s__instance(V__EV2,s__FinancialTransaction) &
               s__agent(V__EV2,V__MEM2)
             &
             s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 954-977
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1861-1869
( ! [V__BEVERAGE] :
   ((s__instance(V__BEVERAGE,s__DistilledAlcoholicBeverage) =>
       (( ? [V__REMOVE, V__WATER] :
           ((s__instance(V__REMOVE,s__Removing) &
               s__patient(V__REMOVE,V__WATER)
             &
             s__instance(V__WATER,s__Water) &
             s__origin(V__REMOVE,V__BEVERAGE))))))
)
)

Mid-level-ontology.kif 9765-9772
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13585-13592
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9160-9173
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8259-8268
( ! [V__DISMANTLE] :
   ((s__instance(V__DISMANTLE,s__DismantlingWeaponOfMassDestruction) =>
       (( ? [V__PROCESS] :
           ((s__subProcess(V__PROCESS,V__DISMANTLE)
             &
             (s__instance(V__PROCESS,s__Destruction) |
               s__instance(V__PROCESS,s__Removing)))))))
   )
)

WMD.kif 736-743
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1368-1376
No TPTP formula. May not be expressible in strict first order. Cars.kif 943-958
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2459-2467
No TPTP formula. May not be expressible in strict first order. Cars.kif 922-936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6232-6240
( ! [V__SUB] :
   ((s__instance(V__SUB,s__Substituting) =>
       (( ? [V__PUT, V__REMOVE, V__OBJ1, V__OBJ2, V__PLACE] :
           ((s__instance(V__PLACE,s__Object) &
               (s__instance(V__PUT,s__Putting) &
                 s__instance(V__REMOVE,s__Removing) &
                 s__subProcess(V__PUT,V__SUB)
               &
               s__subProcess(V__REMOVE,V__SUB)
             &
             s__patient(V__REMOVE,V__OBJ1)
           &
           s__origin(V__REMOVE,V__PLACE)
         &
         s__patient(V__PUT,V__OBJ2)
       &
       s__destination(V__PUT,V__PLACE)
     &
     ~((V__OBJ1 = V__OBJ2))))))))
)
)

Merge.kif 10927-10939
No TPTP formula. May not be expressible in strict first order. Cars.kif 4911-4921


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