added has completed and has not completed

Fixes #574

src/ontology/ro-edit.owl

@@ -549,6 +549,8 @@ Declaration(ObjectProperty(obo:RO_0015009))
 Declaration(ObjectProperty(obo:RO_0015010))
 Declaration(ObjectProperty(obo:RO_0015011))
 Declaration(ObjectProperty(obo:RO_0015012))
+Declaration(ObjectProperty(obo:RO_0015013))
+Declaration(ObjectProperty(obo:RO_0015014))
 Declaration(ObjectProperty(obo:RO_0016001))
 Declaration(ObjectProperty(obo:RO_0016002))
 Declaration(ObjectProperty(obo:RO_0016004))
@@ -6237,6 +6239,26 @@ AnnotationAssertion(Annotation(oboInOwl:hasDbXref "https://orcid.org/0000-0002-6
 AnnotationAssertion(rdfs:comment obo:RO_0015012 "There are frequently two ways to state the same thing: we can say 'spermatocyte lacks asters' or 'asters absent from spermatocyte'. In this case the quality is 'lacking all parts of type' - it is a (relational) quality of the spermatocyte, and it is with respect to instances of 'aster'. One of the popular requirements of PATO is that it continue to support 'absent', so we need to relate statements which use this quality to the 'lacking all parts of type' quality."^^xsd:string)
 AnnotationAssertion(rdfs:label obo:RO_0015012 "reciprocal of")
 
+# Object Property: obo:RO_0015013 (has completed)
+
+AnnotationAssertion(obo:IAO_0000112 obo:RO_0015013 "memory T cell has_completed some 'memory T cell differentiation'")
+AnnotationAssertion(obo:IAO_0000115 obo:RO_0015013 "a relation between a material entity and a process in which the material entity exists, at least in part, due to the completion of the process.")
+AnnotationAssertion(dc:contributor obo:RO_0015013 <http://orcid.org/0000-0001-7258-9596>)
+AnnotationAssertion(rdfs:label obo:RO_0015013 "has completed")
+SubObjectPropertyOf(obo:RO_0015013 owl:topObjectProperty)
+ObjectPropertyDomain(obo:RO_0015013 obo:BFO_0000040)
+ObjectPropertyRange(obo:RO_0015013 obo:BFO_0000015)
+
+# Object Property: obo:RO_0015014 (has not completed)
+
+AnnotationAssertion(obo:IAO_0000112 obo:RO_0015014 "'immature T cell' has_not_completed some 'T cell selection'")
+AnnotationAssertion(obo:IAO_0000115 obo:RO_0015014 "a relation between a material entity and a process in which the material entity has the potential to complete the process, but has yet to complete it.")
+AnnotationAssertion(dc:contributor obo:RO_0015014 <http://orcid.org/0000-0001-7258-9596>)
+AnnotationAssertion(rdfs:label obo:RO_0015014 "has not completed")
+SubObjectPropertyOf(obo:RO_0015014 owl:topObjectProperty)
+ObjectPropertyDomain(obo:RO_0015014 obo:BFO_0000040)
+ObjectPropertyRange(obo:RO_0015014 obo:BFO_0000015)
+
 # Object Property: obo:RO_0016001 (has phenotype or disease)
 
 AnnotationAssertion(obo:IAO_0000232 obo:RO_0016001 "Do not use this relation directly. It is intended as a grouping for a set of relations regarding presentation of phenotypes and disease.")