AnteriorIliacArteryDivision
|
|
Sigma KEE - AssignmentFn
assignment
|
If F is a Function with a value for the objects denoted by N1,..., NK, then (AssignmentFn F N1 ... NK) is the value of applying F to the objects denoted by N1,..., NK. Otherwise, the value is undefined.
|
|
Show full definition (without tree view)
Show full definition (with tree view)
|