SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > valence |
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 | 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 | ||||
valence | PositiveInteger | Relation | singleValued | Specifies 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 | (=> | singleValued | BinaryPredicate |
Next AsymmetricRelation: version Up: AsymmetricRelation, BinaryPredicate Previous AsymmetricRelation: uses