Class: amo:TimeDurationLine

•owl:Thing

•amo:Object

•amo:Feature

•amo:MarineFeature

•amo:MarineLine

•amo:TimeDurationLine

Super Classes

amo:StartDate MAX 1 owl:Thing

amo:hasVehicle MAX 1 owl:Thing

amo:hasCruise MAX 1 owl:Thing

amo:EndDate MAX 1 owl:Thing

amo:MarineLine

Abstract Syntax

Class(amo:TimeDurationLine partial restriction(amo:StartDate maxCardinality(1))
                                  restriction(amo:hasVehicle maxCardinality(1))
                                  restriction(amo:hasCruise maxCardinality(1))
                                  restriction(amo:EndDate maxCardinality(1))
                                  amo:MarineLine)

Usage

Class Description/Definition (Necessary Conditions)

amo:Track

Domain of

amo:EndDate, amo:hasCruise, amo:hasVehicle, amo:StartDate

Generated with OWLDoc