Issue 685: FOL statements for LRMoo
ID:
685
Starting Date:
2024-09-10
Working Group:
3
Status:
Open
Background:
Post by Pat Riva (10 September 2024)
Finally, some overdue homework. LRMoo version 1.0 was issued without FOL due to running out of time. I have now put together a draft of the FOL for each class or property in a separate document. I could be totally wrong! And I put a list of questions on p.9, after the properties. Comments and corrections welcome.
Thanks,
Pat
Reference to Issues:
360