[CL] Question about partial functions and "The king of France is bald"

[John F. Sowa]

Martin,

 > Is there a name for the kind of ontology where partial
 > functions are totalised by using Bottom?

I would call it a language modeled in CL with
a value called Bottom.

If you like, coin an acronym, such as LMICLWAVCB.

John