SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > instance

instance
subject			fact

instance	documentation An object is an instance a Class if it is a member of that Class. An individual may be an instance of many classes, some of which may be subclasses of others. Thus, there is no assumption in the meaning of instance about specificity or uniqueness
	has domain1 Entity
	has domain2 Class
	is an instance of AntisymmetricRelation
	is an instance of BinaryPredicate
AntisymmetricRelation	has axiom (=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation)))
	has axiom (=> (instance ?REL AntisymmetricRelation) (forall (?INST1 ?INST2) (=> (and (holds ?REL ?INST1 ?INST2) (holds ?REL ?INST2 ?INST1)) (equal ?INST1 ?INST2))))
BinaryPredicate	has axiom (=> (instance ?REL BinaryPredicate) (valence ?REL 2))
BinaryRelation	is first domain of DomainFn
	is first domain of equivalenceRelationOn
	is first domain of inverse
	is first domain of irreflexiveOn
	is first domain of partialOrderingOn
	is first domain of RangeFn
	is first domain of reflexiveOn
	is first domain of totalOrderingOn
	is first domain of trichotomizingOn
	is second domain of inverse
Predicate	is first domain of singleValued
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

Next AntisymmetricRelation: PartialOrderingRelation    Up: AntisymmetricRelation, BinaryPredicate    Previous AntisymmetricRelation: AsymmetricRelation