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	(=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (holds ?REL ?INST ?INST))))	IrreflexiveRelation
BinaryPredicate			singleValued	A Predicate relating two items - its valence is two	(=> (instance ?REL BinaryPredicate) (valence ?REL 2))	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	(=> (instance ?REL BinaryPredicate) (valence ?REL 2))		BinaryPredicate	holdsRight

Next AsymmetricRelation: holdsRight    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: holdsDuring