@prefix : <#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix daml:  <http://www.daml.org/2000/10/daml-ont#> .
@prefix log: <http://www.w3.org/2000/10/swap/log.n3> .

 :BMW7 a :Beamer .
 :Beamer a :Car .
 :Thing a rdfs:Class .

 <> log:forAll <#p> , <#q> , <#x> , <#y> .
 
 {  <#p> daml:equivalentTo <#q> . } log:implies
 {
  {
    { <#x> <#p> <#y>. } log:implies { <#x> <#q> <#y>. }
  } a log:Truth; log:forAll <#x> , <#y> , <#p> , <#q> .
} .

:power daml:equivalentTo :macht .

:BMW7 :macht "160kw" .