Re: ONT RE: Ontology case study
On 5/30/02 15:20, "Adam Pease" <apease@ks.teknowledge.com> wrote:
>
> Chris and Chris,
>
> At 06:36 AM 5/30/2002 -0500, Chris Menzel wrote:
>
> [snip]
>
>
>
>>> CP> For example, as far as I can see (probably not very far) SUMO does
>>> not have a straightforward distinction between properties that are
>>> time-bound and properties that are not.
>>
>> That may be, though I suspect Ian would argue otherwise.
>
> No, there is no such distinction in the SUMO. If a knowledge engineer
> wants to state that the attribution of a property to an object holds only
> for a limited time, he can wrap the attribution in a 'holdsDuring' formula.
Hey, Adam..
What are the semantics of 'holdsDuring'? What about an unqualified atom:
(person bill)
?