Property: um:hasLeftBound

Left bound of a set.

Types

owl:ObjectProperty
owl:FunctionalProperty

Domain

um:IntervalSet
um:IntervalDomain

Range

um:Interval

Characteristics

Functional

Abstract Syntax

ObjectProperty(um:hasLeftBound annotation(rdfs:comment "Left bound of a set."^^<http://www.w3.org/2001/XMLSchema#string>)
                              Functional
                              domain(unionOf(um:IntervalSet
                                             um:IntervalDomain))
                              range(um:Interval))

Generated with OWLDoc