SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > valence
Next AsymmetricRelation: version    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: uses   

valence comparison table
Subject have domain2 have domain1 be first domain of documentation have axiom have arg2 valence is a kind of is an instance of
AsymmetricRelation  trichotomizingOnA 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  singleValuedA Predicate relating two items - its valence is two
(=>
 	(instance ?REL BinaryPredicate)
 	(valence ?REL 2))
 Predicate 
valencePositiveIntegerRelationsingleValuedSpecifies the number of arguments that a relation can take. If a relation does not have a fixed number of arguments, it does not have a valence and it is an instance of VariableArityRelation. For example, holds is a VariableArityRelation
(=>
 	(instance ?REL TernaryPredicate)
 	(valence ?REL 3))
singleValued BinaryPredicate

Next AsymmetricRelation: version    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: uses