Re: Unknown and false

Posted by Jiba on
URL: http://owlready.306.s1.nabble.com/Unknown-and-false-solved-tp1539p1547.html

Hi,

If you want to assert that a does not love c, you may do:

    a.is_a.append(Not(love.value(c)))

And if you want to infer all individuals that does not love c, you may use:

    class R(Thing): equivalent_to = [ Not(love.value(c)) ]

Jiba