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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Killing
Killing(殺害)

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


(documentation Killing ChineseLanguage "这是 Destructionsubclass,它发生在当由一个 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 12442-12444
(subclass Killing Destruction) Merge.kif 12441-12441 殺害破壊subclass では

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


(subclass Execution Killing) Mid-level-ontology.kif 19828-19828 Execution殺害subclass では
(subclass Harvesting Killing) Mid-level-ontology.kif 19644-19644 Harvesting殺害subclass では
(subclass Lynching Killing) Mid-level-ontology.kif 23682-23682 Lynching殺害subclass では
(subclass Murder Killing) Mid-level-ontology.kif 20015-20015 Murder殺害subclass では
(subclass Poaching Killing) Geography.kif 2958-2958 Poaching殺害subclass では
(subclass Starving Killing) Mid-level-ontology.kif 20061-20061 Starving殺害subclass では
(subclass Suffocating Killing) Mid-level-ontology.kif 20026-20026 Suffocating殺害subclass では
(subclass Suicide Killing) Mid-level-ontology.kif 19846-19846 Suicide殺害subclass では
(subclass SuicideBombing Killing) Mid-level-ontology.kif 23735-23735 SuicideBombing殺害subclass では
(subclass UdhiyahRitual Killing) ArabicCulture.kif 243-243 UdhiyahRitual殺害subclass では
(termFormat ChineseLanguage Killing "杀害") chinese_format.kif 1162-1162 UdhiyahRitual殺害subclass では
(termFormat EnglishLanguage Killing "killing") english_format.kif 1541-1541 UdhiyahRitual殺害subclass では
(termFormat FrenchLanguage Killing "tuer") french_format.kif 840-840 UdhiyahRitual殺害subclass では
(termFormat Hindi Killing "hatyaa") terms-hindi.txt 372-372 UdhiyahRitual殺害subclass では
(termFormat ItalianLanguage Killing "Uccidere") terms-it.txt 375-375 UdhiyahRitual殺害subclass では
(termFormat JapaneseLanguage Killing "殺害") japanese_format.kif 2524-2524 UdhiyahRitual殺害subclass では
(termFormat PortugueseLanguage Killing "Matar") portuguese_format.kif 792-792 UdhiyahRitual殺害subclass では
(termFormat cb Killing "pagpatay") terms-cb.txt 377-377 UdhiyahRitual殺害subclass では
(termFormat cz Killing "killing") terms-cz.txt 411-411 UdhiyahRitual殺害subclass では
(termFormat de Killing "Toetung") terms-de.txt 670-670 UdhiyahRitual殺害subclass では
(termFormat ro Killing "ucidere") relations-ro.kif 861-861 UdhiyahRitual殺害subclass では
(termFormat tg Killing "pagpatay") terms-tg.txt 376-376 UdhiyahRitual殺害subclass では

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


(=>
    (and
        (instance ?KILL Killing)
        (agent ?KILL ?AGENT)
        (patient ?KILL ?PATIENT))
    (and
        (instance ?AGENT Organism)
        (instance ?PATIENT Organism)))
Merge.kif 12446-12453
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?OBJ))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?OBJ)
            (causes ?KILL ?DEATH))))
Merge.kif 12463-12471
(=>
    (and
        (instance ?KILL Killing)
        (patient ?KILL ?PATIENT))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Living))
        (holdsDuring
            (FutureFn
                (WhenFn ?KILL))
            (attribute ?PATIENT Dead))))
Merge.kif 12455-12461

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 1634-1653
(=>
    (and
        (instance ?H Hunting)
        (patient ?H ?P))
    (hasPurpose ?H
        (exists (?PROC)
            (and
                (patient ?PROC ?P)
                (or
                    (instance ?PROC Confining)
                    (instance ?PROC Killing))))))
Merge.kif 13064-13074
(=>
    (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 12473-12475
(=>
    (instance ?O Organism)
    (capability Killing patient ?O))
Merge.kif 12477-12479
(=>
    (instance ?SE ShrapnelExplosion)
    (hasPurpose ?SE
        (exists (?P)
            (and
                (or
                    (instance ?P Injuring)
                    (instance ?P Killing))
                (causes ?SE ?P)))))
Medicine.kif 6307-6315
(=>
    (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 2689-2699


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