SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > inhibits |
inhibits comparison table |
Subject | have domain2 | have domain1 | be first domain of | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|
BinaryPredicate | singleValued | A Predicate relating two items - its valence is two | (=> | Predicate | |||
IrreflexiveRelation | trichotomizingOn | Relation ?REL is irreflexive if (?REL ?INST ?INST) holds for no value of ?INST | (=> | BinaryRelation | |||
inhibits | Process | Process | singleValued | A 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 | (=> | IrreflexiveRelation |
Next BinaryPredicate: inScopeOfInterest Up: BinaryPredicate, IrreflexiveRelation Previous BinaryPredicate: inhabits