Damaging

-------------------------


(=>
    (instance ?TD TornadoDamage)
    (exists (?T ?D)
        (and
            (instance ?T Tornado)
            (instance ?D Damaging)
            (causes ?T ?D)
            (patient ?D ?TD))))
Weather.kif 2069-2076
(=>
    (instance ?W AntiArmorWeapon)
    (hasPurpose ?W
        (exists (?DAMAGING ?ARMOR)
            (and
                (instance ?DAMAGING Damaging)
                (instrument ?DAMAGING ?W)
                (patient ?DAMAGING ?ARMOR)
                (instance ?ARMOR Armor)))))
MilitaryDevices.kif 659-667
(=>
    (instance ?W AntiTankWeapon)
    (hasPurpose ?W
        (exists (?DAMAGING ?V)
            (and
                (instance ?DAMAGING Damaging)
                (instrument ?DAMAGING ?W)
                (patient ?DAMAGING ?V)
                (instance ?V ArmoredVehicle)))))
MilitaryDevices.kif 874-882
(=>
    (instance ?WEAPON Weapon)
    (capability Damaging instrument ?WEAPON))
Merge.kif 15746-15748
(=>
    (instance ?WEAPON Weapon)
    (hasPurpose ?WEAPON
        (exists (?D ?PATIENT)
            (and
                (instance ?D Damaging)
                (instrument ?D ?WEAPON)
                (patient ?D ?PATIENT)))))
Merge.kif 15750-15757
(=>
    (instance ?X Protecting)
    (hasPurpose ?X
        (exists (?OBJ)
            (and
                (instance ?OBJ Object)
                (patient ?X Object)
                (subclass ?HARM
                    (KappaFn ?H
                        (and
                            (or
                                (instance ?H CriminalAction)
                                (instance ?H Damaging))
                            (=>
                                (holdsDuring ?T
                                    (patient ?H ?OBJ))
                                (not
                                    (holdsDuring ?T
                                        (patient ?X ?OBJ)))))))
                (or
                    (prevents ?X ?HARM)
                    (hinders ?X ?HARM))))))
Mid-level-ontology.kif 17773-17794
(=>
    (instance ?Y SulphurDioxide)
    (modalAttribute
        (exists (?D ?P)
            (and
                (instance ?D Damaging)
                (instance ?P Human)
                (instrument ?D ?Y)
                (patient ?D ?P))) Possibility))
Geography.kif 6877-6885
(=>
    (patient ?RAIN AcidRainfall)
    (modalAttribute
        (exists (?D ?O ?X ?L)
            (and
                (instance ?D Damaging)
                (causes ?RAIN ?D)
                (instrument ?D ?RAIN)
                (instance ?O Organism)
                (instance ?X StationaryArtifact)
                (instance ?L Outdoors)
                (located ?X ?L)
                (located ?O ?L)
                (or
                    (patient ?D ?O)
                    (patient ?D ?X)))) Possibility))
Geography.kif 2522-2537


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