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 |