ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Search engine for the ontology

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Sun, 02 Mar 2008 11:26:01 -0500
Message-id: <47CAD519.7040101@xxxxxxxxxxx>
Chris,    (01)

I just realized that my notation could be misleading:    (02)

 >  Define various functions over integers, such as
 >
 > isaFormula(i) -> integer i is an encoding of a PM formula    (03)

I should have said    (04)

Define various relations over integers, such as    (05)

isaFormula(i) means integer i is an encoding of PM formula    (06)

John    (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)

<Prev in Thread] Current Thread [Next in Thread>