diff --git a/proposals/time-entity-relations/rdf/time-rel.ttl b/proposals/time-entity-relations/rdf/time-rel.ttl
index 9d4bf6ec..897c1f05 100644
--- a/proposals/time-entity-relations/rdf/time-rel.ttl
+++ b/proposals/time-entity-relations/rdf/time-rel.ttl
@@ -19,14 +19,15 @@ time:disjoint
   a owl:ObjectProperty ;
   rdfs:comment "If a temporal entity T1 is disjoint with another temporal entity T2, then the beginning of T1 is after the end of T2, or the end of T1 is before the beginning of T2, and the beginning of T1 may be coincident with the end of T1, and the beginning of T2 may be coincident with the end of T2, i.e. the two entities do not overlap or coincide in any way, but their ordering relationship is not known."@en ;
   rdfs:domain time:TemporalEntity ;
-  rdfs:label "time entity disjoint" ;
+  rdfs:label "disjoint time entity" ;
   rdfs:range time:TemporalEntity ;
+  owl:propertyDisjointWith time:notDisjoint ;
 .
 time:equals
   a owl:ObjectProperty ;
-  rdfs:comment "If a temporal entity T1 is equals another temporal entity T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is coincident with the end of T2, and the beginning of T1 may be coincident with the end of T1."@en ;
+  rdfs:comment "If a temporal entity T1 equals another temporal entity T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is coincident with the end of T2, and the beginning of T1 may be coincident with the end of T1."@en ;
   rdfs:domain time:TemporalEntity ;
-  rdfs:label "time entity equals" ;
+  rdfs:label "equal time entity" ;
   rdfs:range time:TemporalEntity ;
   rdfs:subPropertyOf time:notDisjoint ;
 .
@@ -73,9 +74,11 @@ time:intervalStartedBy
 .
 time:notDisjoint
   a owl:ObjectProperty ;
+  rdfs:comment "If a temporal entity T1 is notDisjoint with another temporal entity T2, then the the two entities not overlap or coincide in some way, but their ordering relationship is not known. This relation is the complement of disjoint and the union of equals, hasInside, in, meets, metBy, overlaps, overlappedBy."@en ;
   rdfs:domain time:TemporalEntity ;
-  rdfs:label "time entity not disjoint" ;
+  rdfs:label "not disjoint with time entity" ;
   rdfs:range time:TemporalEntity ;
+  owl:propertyDisjointWith time:disjoint ;
 .
 <https://www.w3.org/2006/time/rel>
   a owl:Ontology ;