Re: Understanding n-ary data predicates

On 6 May 2008, at 18:39, Bijan Parsia wrote:
[snip]
> "Body mass index: the body mass index (BMI) of a patient is defined  
> as 703 times weight in pounds divided by the square of the height  
> in inches. The BMI is (among many other things) taken into  
> consideration for insulin administration regimens. Similar to the  
> examples above, it is used to derive an envelope within which a  
> standard regimen should be."
>
> 	DatarangeExpression(bmi weight height eq((times bmi (times height  
> height)) (times(703 weight)))
[snip]

In my haste yesterday, I forgot about the pow operator, so it's a bit  
nicer as:
	DatarangeExpression(bmi weight height eq((times bmi (pow height 2))  
(times(703 weight)))

Cheers,
Bijan.