Re: [ontolog-forum] Ontology, Information Models and the 'Real World':

[Waclaw Kusnierczyk <Waclaw.Marcin.Kusnierczyk@xxxxxxxxxxx>]

I guess it was Pat you asked?    (01)

If it was me, the answer is yes;  but guess what I mean by (falls x 
mainlyOnPlain).    (02)

vQ    (03)

Duane Nickull wrote:
> Don't you mean
> 
> (if (rains)(exists (x)(and (falls x mainlyOnPlain)(rains x inSpain))))
> 
> Sorry - couldn't resist....
> 
> ;-)
> 
> On 6/7/07 2:02 PM, "Pat Hayes" <phayes@xxxxxxx> wrote:
> 
>> (iff (rains)(exists (x)(and (madeOf x cheese)(Orbits x Earth))))
>     (04)

-- 
Wacek Kusnierczyk    (05)

------------------------------------------------------
Department of Information and Computer Science (IDI)
Norwegian University of Science and Technology (NTNU)
Sem Saelandsv. 7-9
7027 Trondheim
Norway    (06)

tel.   0047 73591875
fax    0047 73594466
------------------------------------------------------    (07)

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (08)