SUMO   View all facts   Glossary   Help

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

documentation 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
documentation	SymbolicString	Entity	singleValued	A relation between objects in the domain of discourse and strings of natural language text. The domain of documentation is not constants (names), but the objects themselves. This means that one does not quote the names when associating them with their documentation	(=> (instance ?REL BinaryPredicate) (valence ?REL 2))		BinaryPredicate

Next AsymmetricRelation: duration    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: developmentalForm