[CL] Representing untyped concepts in CG Display Form

[Michael Schneider]

Thank you!

Am 24.07.2011 09:13, schrieb sowa at bestweb.net:
> Michael,
>
> Yes, that's true.
>
>  > However, in the "Bus42" example below, I believe that the leading ":" is
>  > still required, since it would otherwise be unclear whether "Bus42" in
>  >
>  > [Bus42]
>  >
>  > stands for either a type label or for an individual (without a specific
>  > type). Is this correct?
>
> Without ":", the default assumption would be that Bus42 is the name of a
> type (i.e., a monadic relation used to restrict the range of
> quantification).
>
> John
>

-- 
Dipl.-Inform. Michael Schneider
Research Scientist, Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: michael.schneider at fzi.de
WWW  : http://www.fzi.de/michael.schneider
==============================================================================
FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts
Stiftung Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Dipl. Wi.-Ing. Michael Flor, Prof. Dr. rer. nat. Ralf Reussner,
Prof. Dr. rer. nat. Dr. h.c. Wolffried Stucky, Prof. Dr. rer. nat. Rudi 
Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
==============================================================================