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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Killing

 Sigma KEE - Killing
Killing(Uccidere)

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


(documentation Killing ChineseLanguage "这是 Destruction 的 subclass，它发生在当由一个 Organism 导致一个 Organism 死亡时。注：两个 Organism 在自杀个案会是相同。") chinese_format.kif 3157-3158
(documentation Killing EnglishLanguage "The subclass of Destruction in which the death of an Organism is caused by an Organism. Note that in cases of suicide the Organism would be the same in both cases.") Merge.kif 12314-12316
(subclass Killing Destruction) Merge.kif 12313-12313 Uccidere è una sottoclasse di Distruggere

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


(subclass Execution Killing) Mid-level-ontology.kif 18256-18256 Execution è una sottoclasse di Uccidere
(subclass Harvesting Killing) Mid-level-ontology.kif 18072-18072 Harvesting è una sottoclasse di Uccidere
(subclass Lynching Killing) Mid-level-ontology.kif 22038-22038 Lynching è una sottoclasse di Uccidere
(subclass Murder Killing) Mid-level-ontology.kif 18443-18443 Murder è una sottoclasse di Uccidere
(subclass Poaching Killing) Geography.kif 2800-2800 Poaching è una sottoclasse di Uccidere
(subclass Starving Killing) Mid-level-ontology.kif 18489-18489 Starving è una sottoclasse di Uccidere
(subclass Suffocating Killing) Mid-level-ontology.kif 18454-18454 Suffocating è una sottoclasse di Uccidere
(subclass Suicide Killing) Mid-level-ontology.kif 18274-18274 Suicide è una sottoclasse di Uccidere
(subclass SuicideBombing Killing) Mid-level-ontology.kif 22091-22091 SuicideBombing è una sottoclasse di Uccidere
(subclass UdhiyahRitual Killing) ArabicCulture.kif 243-243 UdhiyahRitual è una sottoclasse di Uccidere
(termFormat ChineseLanguage Killing "杀害") chinese_format.kif 1162-1162
(termFormat EnglishLanguage Killing "killing") english_format.kif 1541-1541
(termFormat FrenchLanguage Killing "tuer") french_format.kif 840-840
(termFormat Hindi Killing "hatyaa") terms-hindi.txt 372-372
(termFormat ItalianLanguage Killing "Uccidere") terms-it.txt 375-375
(termFormat JapaneseLanguage Killing "殺害") japanese_format.kif 2524-2524
(termFormat PortugueseLanguage Killing "Matar") portuguese_format.kif 792-792
(termFormat cb Killing "pagpatay") terms-cb.txt 377-377
(termFormat cz Killing "killing") terms-cz.txt 411-411
(termFormat ro Killing "ucidere") relations-ro.kif 861-861
(termFormat tg Killing "pagpatay") terms-tg.txt 376-376

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


(=>
    (and
        (instance ?KILL Killing)
        (agent ?KILL ?AGENT)
        (patient ?KILL ?PATIENT))
    (and
        (instance ?AGENT Organism)
        (instance ?PATIENT Organism)))		 Merge.kif 12318-12325
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?OBJ))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?OBJ)
            (causes ?KILL ?DEATH))))		 Merge.kif 12335-12343
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?PATIENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Living))
        (holdsDuring
            (FutureFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Dead))))		 Merge.kif 12327-12333

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


(=>
    (and
        (instance ?GUN Gun)
        (instance ?U UnitOfLength)
        (effectiveRange ?GUN
            (MeasureFn ?LM ?U))
        (distance ?GUN ?O
            (MeasureFn ?LM1 ?U))
        (instance ?O Organism)
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (exists (?KILLING)
        (capability
            (KappaFn ?KILLING
                (and
                    (instance ?KILLING Killing)
                    (patient ?KILLING ?O))) instrument ?GUN)))		 Mid-level-ontology.kif 1417-1436
(=>
    (and
        (instance ?H Hunting)
        (patient ?H ?P))
    (hasPurpose ?H
        (exists (?PROC)
            (and
                (patient ?PROC ?P)
                (or
                    (instance ?PROC Confining)
                    (instance ?PROC Killing))))))		 Merge.kif 12932-12942
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG AgricultureForestryFishingAndHunting))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?EV ?MEM)
            (exists (?THING ?EV2 ?MEM2)
                (and
                    (or
                        (instance ?EV Killing)
                        (instance ?EV Maintaining))
                    (patient ?EV ?THING)
                    (or
                        (instance ?THING Animal)
                        (instance ?THING Plant))
                    (not
                        (instance ?THING Human))
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))		 naics.kif 50-72
(=>
    (instance ?AGENT LifeThreateningAgent)
    (capability Killing instrument ?AGENT))		 WMD.kif 1013-1015
(=>
    (instance ?ANTIBIOTIC Antibiotic)
    (exists (?KILL ?BACTERIUM)
        (capability
            (KappaFn ?KILL
                (and
                    (instance ?KILL Killing)
                    (patient ?KILL ?BACTERIUM)
                    (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC)))		 WMD.kif 1264-1272
(=>
    (instance ?O Organism)
    (capability Killing agent ?O))		 Merge.kif 12345-12347
(=>
    (instance ?O Organism)
    (capability Killing patient ?O))		 Merge.kif 12349-12351
(=>
    (instance ?SE ShrapnelExplosion)
    (hasPurpose ?SE
        (exists (?P)
            (and
                (or
                    (instance ?P Injuring)
                    (instance ?P Killing))
                (causes ?SE ?P)))))		 Medicine.kif 6290-6298
(=>
    (instance ?T Toothbrush)
    (hasPurpose ?T
        (exists (?K ?B ?TOOTH)
            (and
                (instance ?TOOTH Tooth)
                (instrument ?K ?T)
                (instance ?K Killing)
                (instance ?B Bacterium)
                (patient ?K ?B)
                (patient ?K ?TOOTH)))))		 Mid-level-ontology.kif 2226-2236


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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