Every mKR proposition has an English translation.
> Subject: Re: [ontolog-forum] physical context and mental context
> From:
phayes@xxxxxxx
> Date: Sat, 12 Apr 2014
11:47:57 -0500
> CC:
kr-language@xxxxxxxxxxxxxxx;
rslatimer@xxxxxxx
> To:
rhm@xxxxxxxxxxxxx;
ontolog-forum@xxxxxxxxxxxxxxxx;
rhmccullough@xxxxxxxxx
>
>
> On Apr 12, 2014, at 1:02 AM, Richard H. McCullough <
rhmccullough@xxxxxxxxx> wrote:
>
> > Today I accepted my responsibility as a Knowledge Engineer,
> > I identified the mental context propositions.
> > Forgive me if I sound like your teacher, it's just easier for me
> > to express my ideas that way.
> >
> > Separating the physical context, dealing with metaphysics,
> > which asks the question: What exists?, is fairly easy.
> > My mK
R version is
> >
http://ContextKnowledgeSystems.org/physical.mkr.html
> > There are "physical" labels everywhere, which can be removed
> > if it's clear we are only concerned with the physical context.
> >
> > Next we come to the m
ental context, dealing with epistemology,
> > which asks the question: How do we know?
> > The first part of constructing a mental context is also easy.
> > We have "mental" labels everywhere and
> > mental thing denotes physical thing;
> > But you have to face up to the question of whether mental things
> > are really physical when you look inside the mind.
> > My answer is yes, so my mKR version
> >
http://ContextKnowledgeSystems.org/mental.mkr.html
> > contains subhierarchies like this:
> > physical entity:
> >
/mental entity;
> > //percept;
> > //concept;
> > //...
> > /mental characteristic;
> > //...
> > /mental proposition;
> > //...
> >
> > I think the two most significant things in the mental context are
> >
> > Mind :: mental existent isdef mental entity, mental characteristic, mental proposition;
> >
> > which is my liter
al definition of what a mind is, and
> >
> > Mind Body Identity :: me is I;
> >
> > where "I" is my physical self, and "me" is my mental self.
> >
> > I think I've got a reasonable mental context here.
> > If you disagree, speak up.
>
> I have no idea what I would be disagreeing with (or not). You still have not given your notation any semantics, so none of these displayed lines convey any content.
>
> Pat
>
> >
> > Dick McCullough
> > Context Knowledge Systems
> > mKR/mKE tutorial
> >
> > _________________________________________________________________
> > Message Archives:
http://ontolog.cim3.net/forum/ontolog-forum/
> > Config Subscr:
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 join:
http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J>
> ------------------------------------------------------------
> IHMC
(850)434 8903![]()
(850)434 8903![]()
(850)434 8903![]()
(850)434 8903![]()
(850)434 8903![]()
(850)434 8903![]()
(850)434 8903![]()
(850)434 8903 home
> 40 South Alcaniz St.
(850)202 4416![]()
(850)202 4416![]()
(850)202 4416![]()
(850)202 4416![]()
(850)202 4416![]()
(850)202 4416![]()
(850)202 4416![]()
(850)202 4416 office
> Pensacola (850)202 4440![]()
(850)202 4440![]()
(850)202 4440![]()
(850)202 4440![]()
(850)202 4440![]()
(850)202 4440![]()
(850)202 4440![]()
(850)202 4440 fax
> FL 32502
(850)291 0667![]()
(850)291 0667![]()
(850)291 0667![]()
(850)291 0667![]()
(850)291 0667![]()
(850)291 0667![]()
(850)291 0667![]()
(850)291 0667 mobile (preferred)
>
phayes@xxxxxxx http://www.ihmc.us/users/phayes>
>
>
>
>
>