http://www.estrellaproject.org/lkif-core/time.owl#after
Property time:after
Annotations
rdfs:comment
'after' is the transitive closure of 'next'; this is defined in time-rules.owl.
Specifies that a time period occurs after another period, but might overlap with it.
Property Axioms
owl:inverseOf
time:before
rdfs:domain
time:Temporal_Occurrence
rdfs:range
time:Temporal_Occurrence
rdfs:subPropertyOf
time:temporal_relation
Other Properties
rdf:type
owl:ObjectProperty
owl:TransitiveProperty
References
as owl:inverseOf (
time:before
)
as rdfs:subPropertyOf (
time:immediatly_after
)
Generated with
TopBraid Composer
by
TopQuadrant, Inc.
