Re: How do I write this N3 statement correctly

Hi Joy

 

Indeed, for large N3 code the output can get quite incomprehensible ..

 

So, I added a “derivations” option for the N3 editor to only show derivations (the “closure” option was the prior default setting, which showed all of the code + derivations). 

 

 

William

 

On Sat, Oct 23, 2021 at 10:27 AM Joy lix <joylix4112@outlook.com> wrote:

 

Is there any way to  use "or" to simplify it into a single inference statement? And how do I use "else" to indicate that temperature values outside these ranges are "normal"?  

In addition, I use http://ppr.cs.dal.ca:3002/n3/editor/, in the deductive information of "eye", can I show only the inferred results alone? 

      Thanks for helping.

 

Joylix