Re: facts of reality, context, possible worlds

I said:
"tabula rasa" specifies the meaning of isa, has, person, sex, male
(and existent, attribute, action, relation, proposition, haspart, do, ...)
You said:
Your tabula doesn't seem to be entirely rasa then :)

No, it's not entirely "rasa".  I added a few things (sex, male) to enhance efficiency.
But everything else in the list above is "rasa".  
That is, those concepts are prerequisites for "talking about reality".
============ 
Dick McCullough 
knowledge := man do identify od existent done
knowledge haspart proposition list

  ----- Original Message ----- 
  From: Jon Hanna 
  To: RDF-Interest 
  Sent: Wednesday, December 11, 2002 4:16 AM
  Subject: RE: facts of reality, context, possible worlds



  > 1. the purpose of the Semantic Web
  > a. Dick: to provide man and machine with easy access to the facts of
  reality.
  > b. Pat: is to make propositional content available to machine processing
  on the Web.
  > ##### Let's take one step back & get our priorities straight.
  > ##### The purpose of the internet/Semantic Web is to facilitate
  communication between men.
  > ##### The purpose of machine is to assist men.

  The purpose of the Semantic Web is to facilitate communication between
  machines, not humans. Obviously the purpose of that is that we can use that
  to build applications of value to humans, but that's a different level.

  > 4. meaning and "tabula rasa"
  > a. Dick: The meaning of this KR proposition is immediately obvious to any
  > English-speaking adult.
  > at view=tabula rasa { Dick isa person; Dick has sex=male }
  > b. Pat: ... it isn't to me, for example (I have no idea what you mean by
  > 'tabula rasa'); ...
  > #####  Excellent point.  I think it would be understandable if I deleted
  > "at view=tabula rasa {" and "}".
  > ##### "tabula rasa" specifies the meaning of isa, has, person, sex, male
  > ##### (and existent, attribute, action, relation, proposition, haspart,
  do, ...)

  Your tabula doesn't seem to be entirely rasa then :)