SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > prevents
Next BinaryPredicate: properlyFills    Up: BinaryPredicate, IrreflexiveRelation    Previous BinaryPredicate: precondition   

prevents comparison table
Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of
BinaryPredicate  singleValuedA Predicate relating two items - its valence is two
(=>
 	(instance ?REL BinaryPredicate)
 	(valence ?REL 2))
Predicate 
IrreflexiveRelation  trichotomizingOnRelation ?REL is irreflexive if (?REL ?INST ?INST) holds for no value of ?INST
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
       (not 
          (holds ?REL ?INST ?INST))))
BinaryRelation 
preventsProcessProcesssingleValuedA 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
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
       (not 
          (holds ?REL ?INST ?INST))))
 IrreflexiveRelation

Next BinaryPredicate: properlyFills    Up: BinaryPredicate, IrreflexiveRelation    Previous BinaryPredicate: precondition