SUMO   View all facts   Glossary   Help

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

date 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	(=> (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
date	Day	Physical	singleValued	A BinaryPredicate that specifies a TimePosition in absolute calendar time, at the resolution of one day, for a particular Object or Process	(=> (instance ?REL BinaryPredicate) (valence ?REL 2))	singleValued		BinaryPredicate

Next AsymmetricRelation: deathTime    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: crosses