Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

RE: SUO: Re: Formal SUMO Draft



Adam --

How does this differentiate charitable giving from, say, social giving
(e.g. a birthday present)?


Doug


Adam Pease <apease@ks.teknowledge.com> on 02/05/2002 12:56:47 PM

To:    Douglas McDavid/Boulder/IBM@IBMUS
cc:    standard-upper-ontology@ieee.org
Subject:    RE: SUO: Re: Formal SUMO Draft



Doug,
   Let's make an example of an interesting elaboration then.

(=>
    (and
       (instance ?GIVE CharitableGiving)
       (agent ?GIVE ?AGENT)
       (recipient ?GIVE ?REC)
       (patient ?GIVE ?OBJ))
    (and
       (wants ?REC ?OBJ)
       (inScopeOfInterest ?AGENT ?REC)))

(disjoint CharitableGiving Transaction)

Here are two axioms that create a new class of CharitableGiving, and define
it in terms of other SUMO terms.  It is an interesting elaboration and it
is a conforming one according to my proposed conformance statement.

Adam