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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Damaging
Damaging(damaging)abusive, admixture, adulterate, adulteration, afflict, aged, ail, alligator, alloy, attrited, bad, batter, battered, beat-up, beaten-up, become_flat, befoul, befoulment, belly-land, bent, blasting, blemish, blunt, bombing, break, break_down, bruise, buckle, burned, burned-out, burned-over, burnt, burnt-out, burst, bust, cheapen, check, chink, collapse, conk_out, contamination, corrosion, corrupt, corruption, counteract, countermine, crack, crackle, crash, craze...

appearance as argument number 1
-------------------------


s__disjoint(s__Damaging,s__Repairing)

Merge.kif 11657-11657 Damaging is disjoint from repairing
s__documentation(s__Damaging,s__ChineseLanguage,'"这是当 agent 导致 patient 不再能够如愿般地正常操作 的 Process Class。"')

chinese_format.kif 3153-3154
s__documentation(s__Damaging,s__EnglishLanguage,'"The Class of Processes where the agent brings about a situation where the patient no longer functions normally or as intended."')

Merge.kif 11658-11660
s__subclass(s__Damaging,s__InternalChange)

s__instance(s__InternalChange,s__SetOrClass)

s__instance(s__Damaging,s__SetOrClass)

Merge.kif 11656-11656 Damaging is a subclass of internal change

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


s__instance(s__Breaking,s__SetOrClass)

s__instance(s__Damaging,s__SetOrClass)

s__subclass(s__Breaking,s__Damaging)

Merge.kif 11876-11876 Breaking is a subclass of damaging
s__subclass(s__Destruction,s__Damaging)

s__instance(s__Destruction,s__SetOrClass)

s__instance(s__Damaging,s__SetOrClass)

Merge.kif 11662-11662 Destruction is a subclass of damaging
s__subclass(s__ForestDamage,s__Damaging)

s__instance(s__ForestDamage,s__SetOrClass)

s__instance(s__Damaging,s__SetOrClass)

Geography.kif 2677-2677 Forest damage is a subclass of damaging
s__subclass(s__Injuring,s__Damaging)

s__instance(s__Damaging,s__SetOrClass)

s__instance(s__Injuring,s__SetOrClass)

Merge.kif 9992-9992 Injuring is a subclass of damaging
s__subclass(s__Sabotage,s__Damaging)

s__instance(s__Damaging,s__SetOrClass)

s__instance(s__Sabotage,s__SetOrClass)

MilitaryProcesses.kif 220-220 Sabotage is a subclass of damaging
s__termFormat(s__ChineseLanguage,s__Damaging,'"损坏"')

chinese_format.kif 1160-1160
s__termFormat(s__EnglishLanguage,s__Damaging,'"damaging"')

english_format.kif 1542-1542

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28494-28502
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 228-235
( ! [V__SUBSTANCE,V__DAMAGE] :
   (((s__instance(V__DAMAGE,s__Damaging) &
         s__instrument(V__DAMAGE,V__SUBSTANCE)
       &
       s__instance(V__SUBSTANCE,s__BiologicallyActiveSubstance))
     =>
     (s__instance(V__SUBSTANCE,s__Toxin)))
   )
)

WMD.kif 180-185
( ! [V__WEAPON,V__PC,V__COUNT,V__MV,V__WC,V__ROLE] :
   (((s__instance(V__WEAPON,s__Object) &
         s__instance(V__PC,s__Class) &
         s__subclass(V__PC,s__Process) &
         s__instance(V__COUNT,s__PositiveInteger) &
         s__instance(V__MV,s__MilitaryVehicle) &
         s__instance(V__WC,s__Class) &
         s__subclass(V__WC,s__Weapon) &
         s__instance(V__ROLE,s__CaseRole))
       =>
       (((s__weaponCarryingCapability(V__MV,V__WC,V__COUNT)
           &
           s__instance(V__WEAPON,V__WC)
         &
         s__capability(V__PC,V__ROLE,V__WEAPON)
       &
       (s__subclass(V__PC,s__Shooting) |
         s__subclass(V__PC,s__Damaging)))
     =>
     (s__capability(V__PC,V__ROLE,V__MV)))))
)
)

MilitaryDevices.kif 35-43

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


( ! [V__INJ] :
   (((s__instance(V__INJ,s__Injuring) =>
         (s__instance(V__INJ,s__Damaging) &
           ( ? [V__ORGANISM] :
             ((s__instance(V__ORGANISM,s__Organism) &
                 s__patient(V__INJ,V__ORGANISM))))))
     &
     ((s__instance(V__INJ,s__Damaging) &
         ( ? [V__ORGANISM] :
           ((s__instance(V__ORGANISM,s__Organism) &
               s__patient(V__INJ,V__ORGANISM)))))
     =>
     s__instance(V__INJ,s__Injuring)))
)
)

Merge.kif 10005-10012 A process is an instance of injuring if and only if the process is an instance of damaging and there exists an entity such that the entity is an instance of organism and the entity is a patient of the process
( ! [V__P] :
   ((s__instance(V__P,s__Process) =>
       (((s__manner(V__P,s__Harmless) =>
             (~(s__instance(V__P,s__Damaging))
               &
               ~(( ? [V__P2] :
                   ((s__instance(V__P2,s__Damaging) &
                       s__subProcess(V__P2,V__P)))))
             &
             ~(( ? [V__P2] :
                 ((s__instance(V__P2,s__Damaging) &
                     s__causes(V__P,V__P2)))))))
       &
       ((~(s__instance(V__P,s__Damaging))
           &
           ~(( ? [V__P2] :
               ((s__instance(V__P2,s__Damaging) &
                   s__subProcess(V__P2,V__P)))))
         &
         ~(( ? [V__P2] :
             ((s__instance(V__P2,s__Damaging) &
                 s__causes(V__P,V__P2))))))
     =>
     s__manner(V__P,s__Harmless)))))
)
)

Mid-level-ontology.kif 28711-28725 A process is performed in the manner Harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1632-1644
No TPTP formula. May not be expressible in strict first order. Merge.kif 12753-12762
No TPTP formula. May not be expressible in strict first order. Merge.kif 12775-12784
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 618-630
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1334-1351
( ! [V__P,V__H,V__I] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__P,s__Poison) &
             s__instance(V__I,s__Ingesting) &
             s__moves(V__I,V__P)
           &
           s__experiencer(V__I,V__H))
       =>
       (( ? [V__D] :
           ((s__instance(V__D,s__Damaging) &
               s__experiencer(V__D,V__H)
             &
             s__causes(V__I,V__D))))))))
)
)

Mid-level-ontology.kif 8011-8021
( ! [V__OBJ,V__REPAIR] :
   (((s__instance(V__REPAIR,s__Repairing) &
         s__patient(V__REPAIR,V__OBJ))
     =>
     (( ? [V__DAMAGE] :
         ((s__instance(V__DAMAGE,s__Damaging) &
             s__patient(V__DAMAGE,V__OBJ)
           &
           s__earlier(s__WhenFn(V__DAMAGE)
        ,s__WhenFn(V__REPAIR)))))))
)
)

Merge.kif 11615-11623
( ! [V__S,V__H] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__S,s__Sunburn) &
             s__experiencer(V__S,V__H))
         =>
         (( ? [V__D, V__SKIN] :
             ((s__instance(V__D,s__Damaging) &
                 s__instrument(V__D,s__Sol) &
                 s__instance(V__SKIN,s__Skin) &
                 s__part(V__SKIN,V__H)
               &
               s__patient(V__D,V__SKIN))))))))
)
)

Mid-level-ontology.kif 9845-9855
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 641-654
No TPTP formula. May not be expressible in strict first order. Cars.kif 3728-3768
( ! [V__D] :
   (((s__instance(V__D,s__TimeInterval) &
         s__instance(V__D,s__Object))
       =>
       ((s__attribute(V__D,s__DeviceDamaged) =>
           (( ? [V__DAM] :
               ((s__instance(V__DAM,s__Damaging) &
                   s__patient(V__DAM,V__D)
                 &
                 ~(( ? [V__R] :
                     ((s__instance(V__R,s__Repairing) &
                         s__patient(V__R,V__D)
                       &
                       s__earlier(V__D,V__R))))))))))))
)
)

Mid-level-ontology.kif 27849-27860
( ! [V__D] :
   (((s__instance(V__D,s__TimeInterval) &
         s__instance(V__D,s__Object))
       =>
       ((s__attribute(V__D,s__DeviceNormal) =>
           (~(( ? [V__DAM] :
                 ((s__instance(V__DAM,s__Damaging) &
                     s__patient(V__DAM,V__D)
                   &
                   ~(( ? [V__R] :
                       ((s__instance(V__R,s__Repairing) &
                           s__patient(V__R,V__D)
                         &
                         s__earlier(V__D,V__R)))))))))))))
)
)

Mid-level-ontology.kif 27821-27833
No TPTP formula. May not be expressible in strict first order. Geography.kif 5658-5667
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28609-28617
No TPTP formula. May not be expressible in strict first order. WMD.kif 478-485
No TPTP formula. May not be expressible in strict first order. WMD.kif 70-78
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16302-16310
( ! [V__EXPLOSION] :
   ((s__instance(V__EXPLOSION,s__Explosion) =>
       (s__capability(s__Damaging,s__instrument__m,V__EXPLOSION)))
   )
)

Mid-level-ontology.kif 14371-14373
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 976-990
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1108-1121
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 999-1013
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1079-1088
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1278-1288

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