SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > holdsObligation |
holdsObligation | ||||
subject | fact |
holdsObligation | documentation 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 | |
has domain1 Process | ||
has domain2 Agent | ||
has relatedInternalConcept holdsRight | ||
is an instance of AsymmetricRelation | ||
is an instance of BinaryPredicate | ||
BinaryPredicate | has axiom (=> | |
BinaryRelation | is first domain of DomainFn | |
is first domain of equivalenceRelationOn | ||
is first domain of inverse | ||
is first domain of irreflexiveOn | ||
is first domain of partialOrderingOn | ||
is first domain of RangeFn | ||
is first domain of reflexiveOn | ||
is first domain of totalOrderingOn | ||
is first domain of trichotomizingOn | ||
is second domain of inverse | ||
Predicate | is first domain of singleValued | |
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next AsymmetricRelation: holdsRight Up: AsymmetricRelation, BinaryPredicate Previous AsymmetricRelation: holdsDuring