@prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix daml: <http://www.daml.org/2001/03/daml+oil#> . @prefix : <#> . this log:forAll <#p> . { <#p> a daml:TransitiveProperty . } log:implies { { <#a> <#p> <#b>. <#b> <#p> <#c>. } log:implies { <#a> <#p> <#c>. }. this log:forAll <#a> , <#b> , <#c>. } . <#ancestor> a daml:TransitiveProperty . <#billy> <#ancestor> <#pa> . <#pa> <#ancestor> <#grandpa> .
5 of 12 |