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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Damaging
Damaging(damaging)Causar_Dano, Danneggiare, 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...

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


s__disjoint(s__Damaging,s__Repairing)

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

Merge.kif 12151-12152
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 12148-12150
s__subclass(s__Damaging,s__InternalChange)

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

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


s__instance(s__Destruction,s__SetOrClass)

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

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

Merge.kif 10409-10409 Injuring is a subclass of damaging
s__instance(s__Sabotage,s__SetOrClass)

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

chinese_format.kif 1160-1160 "损坏" is the printable form of damaging in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Damaging,'damaging')

english_format.kif 847-847 "damaging" is the printable form of damaging in english language
s__termFormat(s__FrenchLanguage,s__Damaging,'endommager')

french_format.kif 838-838 "endommager" is the printable form of damaging in french language
s__termFormat(s__Hindi,s__Damaging,'kshati')

terms-hindi.txt 370-370 "kshati" is the printable form of damaging in Hindi
s__termFormat(s__ItalianLanguage,s__Damaging,'Danneggiare')

terms-it.txt 371-371 "Danneggiare" is the printable form of damaging in italian language
s__termFormat(s__PortugueseLanguage,s__Damaging,'Causar Dano')

portuguese_format.kif 790-790 "Causar Dano" is the printable form of damaging in portuguese language
s__termFormat(s__cb__m,s__Damaging,'pagda-ot')

terms-cb.txt 375-375 "pagda-ot" is the printable form of damaging in cb
s__termFormat(s__cz__m,s__Damaging,'damaging')

terms-cz.txt 409-409 "damaging" is the printable form of damaging in cz
s__termFormat(s__tg__m,s__Damaging,'pinipinsala')

terms-tg.txt 374-374 "pinipinsala" is the printable form of damaging in tg

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28158-28166
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 228-235
( ! [V__DAMAGE,V__SUBSTANCE] :
   ((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__MV,V__WC,V__COUNT,V__WEAPON,V__PC,V__ROLE] :
   ((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)))))
)

Merge.kif 10423-10430 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__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))))))
)

Mid-level-ontology.kif 28355-28369 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 1631-1643
No TPTP formula. May not be expressible in strict first order. Merge.kif 13354-13363
No TPTP formula. May not be expressible in strict first order. Merge.kif 13378-13387
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 607-619
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1779-1793
( ! [V__REPAIR,V__OBJ] :
   ((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 12101-12109
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 630-643
No TPTP formula. May not be expressible in strict first order. Cars.kif 3677-3717
( ! [V__D] :
   (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 27513-27524
( ! [V__D] :
   (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 27485-27497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28267-28275
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 15498-15506
( ! [V__EXPLOSION] :
   (s__instance(V__EXPLOSION,s__Explosion) =>
     s__capability(s__Damaging,s__instrument__m,V__EXPLOSION))
)

Mid-level-ontology.kif 13499-13501
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 975-989
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1107-1120
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 998-1012
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1078-1087
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1277-1287
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 658-666
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 873-881
( ! [V__WEAPON] :
   (s__instance(V__WEAPON,s__Weapon) =>
     s__capability(s__Damaging,s__instrument__m,V__WEAPON))
)

Merge.kif 16147-16149

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners