SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > instance
Next AntisymmetricRelationPartialOrderingRelation    UpAntisymmetricRelation, BinaryPredicate    Previous AntisymmetricRelationAsymmetricRelation   

instancedocumentation 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 uniqueness2001-11-30 13:34:30.0
has domain1 Entity2001-11-30 13:34:30.0
has domain2 Class2001-11-30 13:34:30.0
is an instance of AntisymmetricRelation2001-11-30 13:34:30.0
is an instance of BinaryPredicate2001-11-30 13:34:30.0
AntisymmetricRelationhas axiom
(partialOrderingOn ?RELATION ?CLASS)
(reflexiveOn ?RELATION ?CLASS)
(instance ?RELATION TransitiveRelation)
(instance ?RELATION AntisymmetricRelation)))
2001-11-30 13:33:37.0
has axiom
(instance ?REL AntisymmetricRelation)
(forall (?INST1 ?INST2)
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST1))
(equal ?INST1 ?INST2))))
2001-11-30 13:33:37.0
BinaryPredicatehas axiom
(instance ?REL BinaryPredicate)
(valence ?REL 2))
2001-11-30 13:33:44.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
is second domain of inverse2001-11-30 13:33:44.0
Predicateis first domain of singleValued2001-11-30 13:35:02.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next AntisymmetricRelationPartialOrderingRelation    UpAntisymmetricRelation, BinaryPredicate    Previous AntisymmetricRelationAsymmetricRelation