holdsRight Comparison Table

Next AsymmetricRelation: hole Up: AsymmetricRelation, BinaryPredicate Previous AsymmetricRelation: holdsObligation

holdsRight comparison table

Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of

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

holdsRight Agent Process singleValued Expresses a relationship between a subclass of Process and an Agent whereby the Agent has the right to perform at least one instance of the Process type specified, i.e. to be an agent of at least one instance of the Process type
(=>
(instance ?REL BinaryPredicate)
(valence ?REL 2))
BinaryPredicate

Subject	have domain2	have domain1	be first domain of	documentation	have axiom	is a kind of	is an instance of
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
holdsRight	Agent	Process	singleValued	Expresses a relationship between a subclass of Process and an Agent whereby the Agent has the right to perform at least one instance of the Process type specified, i.e. to be an agent of at least one instance of the Process type	(=> (instance ?REL BinaryPredicate) (valence ?REL 2))		BinaryPredicate

Next AsymmetricRelation: hole Up: AsymmetricRelation, BinaryPredicate Previous AsymmetricRelation: holdsObligation