SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > successorAttribute

successorAttribute 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
successorAttribute	Attribute	Attribute	singleValued	(successorAttribute ?ATTR1 ?ATTR2) means that ?ATTR2 is the attribute that comes immediately after ?ATTR1 on the scale that they share	(=> (successorAttribute ?ATTR1 ?ATTR2) (successorAttributeClosure ?ATTR1 ?ATTR2))		BinaryPredicate

Next AsymmetricRelation: temporalPart    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: singleValued