[Top] [All Lists]

Re: [ontolog-forum] syntax & semantics

To: "Patrick J. Hayes" <phayes@xxxxxxx>
Cc: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>, KR-language <KR-language@xxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Fri, 8 May 2009 17:27:38 -0700
Message-id: <05320CF6139B4F0E83A0EC9948F697C3@rhm8200>
----- Original Message -----
2) Later today, I will give you some additional propositions
    from the context of Fido isu dog; 
Some additional propositions are given below.
Dick McCullough
Let's back up one step.
For this example, I am the speaker, and my proposition is
    at view = myview { Fido isu dog; };     
I said previously that my context is the entire contents
of my brain.  However, I change my context according
to my reason/purpose.  That means that I transform my
list of propositions [which includes my concept hierarchy]
to adapt it to my current situation.
For this example, myview is:  I am teaching my
young daughter about the animals which she encounters
during her normal daily activities.  My concept hierarchy is:
at view = myview;
begin hierarchy animals;
/    entity;
//        ANIMAL;
///            person;
////                i:Dick;
////                i:Sheila;
///            animal;
////                cat;
////                dog;
/////                    i:Fido;
////                parrot;
//        PLANT;
//        OBJECT;
/    characteristic;
//        attribute;
///            carnivorous;
///            domesticated;
//        action;
///            bark;
///            meow;
/    proposition;
//        context;
//        sentence;
end hierarchy animals;
Remember that the above hierarchy is syntactic sugar
for a long list of propositions, including
    dog iss animal;
    Fido isu dog;
In addition to such extensional propositions, my context
includes many intensional propositions such as
    ANIMAL is entity with live, move;
    PLANT is entity with live, not move;
    OBJECT is entity with not live;
    animal is ANIMAL with not human;
    dog is animal with carnivorous, domesticated;
    dog do bark done;
    Fido do bark done;

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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

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