SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > inhibits
Next BinaryPredicateinScopeOfInterest    UpBinaryPredicate, IrreflexiveRelation    Previous BinaryPredicateinhabits   

inhibits 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 
inhibitsProcessProcesssingleValuedA very general Predicate. (inhibits ?PROC1 ?PROC2) means that the Process ?PROC1 inhibits or hinders the occurrence of the Process ?PROC2. For example, obstructing an object inhibits moving it. 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 BinaryPredicateinScopeOfInterest    UpBinaryPredicate, IrreflexiveRelation    Previous BinaryPredicateinhabits