SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > holdsObligation |
holdsObligation comparison table |
Subject | have domain2 | have domain1 | be first domain of | documentation | have axiom | is a kind of | is an instance of | have relatedInternalConcept |
---|---|---|---|---|---|---|---|---|
AsymmetricRelation | trichotomizingOn | A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation | (=> | IrreflexiveRelation | ||||
BinaryPredicate | singleValued | A Predicate relating two items - its valence is two | (=> | Predicate | ||||
holdsObligation | Agent | Process | singleValued | Expresses a relationship between a subclass of Process and an Agent whereby the Agent has the obligation to perform exactly one instance of the Process type specified, i.e. to be an agent of just one instance of the Process type | (=> | BinaryPredicate | holdsRight |
Next AsymmetricRelation: holdsRight Up: AsymmetricRelation, BinaryPredicate Previous AsymmetricRelation: holdsDuring