prevents (prevents)

A very general Predicate. (prevents proc1 proc2) means that proc1 prevents the occurrence of proc2. In other words, if proc1 is occurring in a particular time and place, proc2 cannot occur at the same time and place. For example, innoculating prevents contracting disease. Note that this is a relation between types of Processes, not between instances.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe

inheritable relation

PredicatoBinario
is instance of

RelazioneNonRiflessiva
is instance of

prevents

Coordinate term(s)

back fn front fn arc weight attribute authors before before or equal causes causes subclass citizen closed on connected connected engineering components contains information cooccur copy date decreases likelihood developmental form disjoint distributes documentation duration during earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance interior part inverse irreflexive on larger less than less than or equal to manner material measure meets spatially meets temporally modal attribute overlaps partially overlaps temporally parent partial ordering on partly located path length possesses precondition property publishes range range subclass refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub organizations sub plan sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure superficial part temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

prevents(subclass Processo, subclass Processo)

Related WordNet synsets

prevention, bar: the act of preventing
averting: the act of preventing something from occurring; "averting danger was his responsibility"
prevention: control by preventing the occurrence of something; "money was allocated to study the cause and prevention of influenza"
prevent, keep: prevent from doing something or being in a certain state; "We must prevent the cancer from spreading"
prevent, forestall, foreclose, preclude, forbid: keep from happening of arising; have the effect of preventing; "My sense of tact forbids an honest answer"

See more related synsets on a separate page.

Axioms (2)

prevents é interamente correlato a inhibits.

(relatedInternalConcept prevents inhibits)

se proc1 impedisce l'occorrenza di proc2,
allora per ogni time,place vale: se "esiste proc1 inst1 tale che inst1 é localizzato in place" vales durante time, allora "esiste proc2 inst2 tale che inst2 é localizzato in place" non vale durante time

(=>
      (prevents ?PROC1 ?PROC2)
      (forall
            (?TIME ?PLACE)
            (=>
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST1)
                              (and
                                    (instance ?INST1 ?PROC1)
                                    (located ?INST1 ?PLACE))))
                  (not
                        (holdsDuring
                              ?TIME
                              (exists
                                    (?INST2)
                                    (and
                                          (instance ?INST2 ?PROC2)
                                          (located ?INST2 ?PLACE))))))))