   |
7 Employees
7.1 S: To define the concept we first use the association is-employed-by and the derive the concept
forall $a [ (is-employed-by) ]
=> exists $a ] (is-employed-of)
employee : $e
employer : $c [
and
exists [ $e (person) ]
and
exists [ $c (company) ]
7.2 D: What is an employee?
forall [ (is-employed-by)
employee : $e ]
=> derived exist [ $e (employee) ] is-reified-by what-is-employee-D