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 (=> | |
has axiom (=> | ||
BinaryPredicate | has axiom (=> | |
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