Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

zabití (Killing)

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.

Ontologie

SUMO / PROCESSES

Nadtřída(y)

[tree]
entita
is subclass of
  fyzický objekt  
is subclass of
  proces  
is subclass of
  interní změna  
is subclass of
  poškození  
is subclass of
  zničení  
is subclass of
  zabití  

Related WordNet synsets

killing, kill, putting to death
the act of terminating a life
killing is kind of (all)...   killing is kind of...   kinds of killing...   kinds of killing (all)...  
death
the act of killing; "he had two deaths on his conscience"
death is kind of (all)...   death is kind of...  
See more related synsets on a separate page.

Axiomy (2)

Jestliže kill je instancí třídy zabití a agent je původcem kill a patient je účastníkem kill, potom agent je instancí třídy organismus a patient je instancí třídy organismus. 
(=>
      (and
            (instance ?KILL Killing)
            (agent ?KILL ?AGENT)
            (patient ?KILL ?PATIENT))
      (and
            (instance ?AGENT Organism)
            (instance ?PATIENT Organism)))
Jestliže kill je instancí třídy zabití a patient je účastníkem kill, potom living je atributem patient právě před doba existence kill a dead je atributem patient po doba existence kill. 
(=>
      (and
            (instance ?KILL Killing)
            (patient ?KILL ?PATIENT))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?KILL))
                  (attribute ?PATIENT Living))
            (holdsDuring
                  (FutureFn
                        (WhenFn ?KILL))
                  (attribute ?PATIENT Dead))))