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