SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > version
Next AsymmetricRelationabove    UpAsymmetricRelation, BinaryPredicate, TransitiveRelation    Previous AsymmetricRelationvalence   

version
subjectfact 
versiondocumentation Some Artifacts have a life cycle with discrete stages or versions. (version ARTIFACT1 ARTIFACT2) means that ARTIFACT1 is a version of ARTIFACT2. Note that this Predicate relates subclasses of Artifact and not instances2001-11-30 13:35:32.0
has axiom
(=>
(version ?ARTIFACT1 ?ARTIFACT2)
(subclass ?ARTIFACT1 ?ARTIFACT2))
2001-11-30 13:35:32.0
has domain1 Artifact2001-11-30 13:35:32.0
has domain2 Artifact2001-11-30 13:35:32.0
is an instance of AsymmetricRelation2001-11-30 13:35:32.0
is an instance of BinaryPredicate2001-11-30 13:35:32.0
is an instance of TransitiveRelation2001-11-30 13:35:32.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 AsymmetricRelationabove    UpAsymmetricRelation, BinaryPredicate, TransitiveRelation    Previous AsymmetricRelationvalence