hasPostcondition has Category:OntologyElement and is an element of PlanConditions
Name: hasPostcondition
Type: owl:ObjectProperty
Description: