Slot: postconditions

an expression that must hold for an instance of the class, if the preconditions hold

URI: linkml:postconditions

Domain and Range

None → 0..1 AnonymousClassExpression

Parents

Children

Used by

Other properties

Aliases: then
head
consequents
Close Mappings: swrl:body