Slot: postconditions
an expression that must hold for an instance of the class, if the preconditions hold
Domain and Range
None → 0..1 AnonymousClassExpression
Parents
Children
Used by
Other properties
| Aliases: | then | |
| head | ||
| consequents | ||
| Close Mappings: | swrl:body |