#Processed by Id: cwm.py,v 1.168 2005/01/27 20:06:43 syosi Exp 
        #    using base file:/2002/10/medicad/op/
        
#  Notation3 generation by
#       notation3.py,v 1.178 2005/01/27 20:06:43 syosi Exp

#   Base was: file:/2002/10/medicad/op/
     @prefix : <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#> .
     @prefix lldmP: <lldmP.n3#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix math: <http://www.w3.org/2000/10/swap/math#> .
     @prefix owl: <http://www.w3.org/2002/07/owl#> .
     @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
    
     @forAll lldmP:M,
                lldmP:X,
                lldmP:Y,
                lldmP:Z .
    
    :L1     a :Line;
         :perpendicular :L3,
                :L4 .
    
    :L3     a :Line .
    
    :L4     a :Line .
    
    :cL1     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :cL3     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :d53Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :d64Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :dCm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :dL3m     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :dd13Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :dd24Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :ddL13     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :ddy13Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :ddy24Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :dx12Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :dx51Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :dx53Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :dx62Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :dx64Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :dy12Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :dy13Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :dy24Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :dy53Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :dy64Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :incident     rdfs:domain :Point;
         rdfs:range :Line;
         owl:inverseOf :contains .
    
    :meas47     a :LLDAlarm,
                :Measurement;
         :cL1 -0.0628571428571;
         :cL3 15.9090909091;
         :d53Cm 21.5489004646;
         :d64Cm 23.4571344452;
         :dCm -1.90823398054;
         :dL3m -15.9090909091;
         :dd13Cm -57.9075844156;
         :dd24Cm -873.06212987;
         :ddL13 -15.9719480519;
         :ddy13Cm -35.9075844156;
         :ddy24Cm -850.16212987;
         :dx12Cm -35.0;
         :dx51Cm -7.85183438496;
         :dx53Cm -1.35183438496;
         :dx62Cm 8.12845573408;
         :dx64Cm -1.47154426592;
         :dy12Cm 2.2;
         :dy13Cm -22.0;
         :dy24Cm -22.9;
         :dy53Cm -21.5064561244;
         :dy64Cm -23.4109315033;
         :p1xCm 10.1;
         :p1yCm 7.8;
         :p2xCm 45.1;
         :p2yCm 5.6;
         :p3xCm 3.6;
         :p3yCm 29.8;
         :p4xCm 54.7;
         :p4yCm 28.5;
         :p5xCm 2.24816561504;
         :p5yCm 8.29354387563;
         :p6xCm 53.2284557341;
         :p6yCm 5.08906849672;
         :pL1dx51Cm 0.493543875626;
         :pL1dx62Cm -0.510931503285;
         :pL1x1Cm -0.634857142857;
         :pL1x2Cm -2.83485714286;
         :pL3x3Cm 57.2727272727;
         :pL3x4Cm 870.227272727;
         :sdx53Cm2 1.82745620436;
         :sdx64Cm2 2.16544252656;
         :sdy53Cm2 462.52765503;
         :sdy64Cm2 548.071713852;
         :ssd53Cm2 464.355111234;
         :ssd64Cm2 550.237156378 .
    
    :p1     a :Point;
         :incident :L1 .
    
    :p1xCm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :p1yCm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :p2     a :Point;
         :incident :L1 .
    
    :p2xCm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :p2yCm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :p3     a :Point;
         :incident :L3 .
    
    :p3xCm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :p3yCm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :p4     a :Point;
         :incident :L4 .
    
    :p4xCm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :p4yCm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :p5     a :Point;
         :incident :L1,
                :L3 .
    
    :p5xCm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :p5yCm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :p6     a :Point;
         :incident :L1,
                :L4 .
    
    :p6xCm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :p6yCm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :pL1dx51Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :pL1dx62Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :pL1x1Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :pL1x2Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :pL3x3Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :pL3x4Cm     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :perpendicular     a owl:SymmetricProperty;
         rdfs:domain :Line;
         rdfs:range :Line .
    
    :sdd53Cm2     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :sdd64Cm2     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :sdx53Cm2     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :sdx64Cm2     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :sdy53Cm2     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :sdy64Cm2     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :ssd53Cm2     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    
    :ssd64Cm2     rdfs:domain :Measurement;
         rdfs:range :Quantity .
    {
        
          ( 0 
            lldmP:X  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :dL3m lldmP:X .
        
        }     log:implies {lldmP:M     :cL3 lldmP:Z .
        } .
    {
        
          ( 1 
            lldmP:X  )
             math:quotient lldmP:Z .
        lldmP:M     a :Measurement;
             :cL1 lldmP:X .
        
        }     log:implies {lldmP:M     :dL3m lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            0.5  )
             math:exponentiation lldmP:Z .
        lldmP:M     a :Measurement;
             :ssd53Cm2 lldmP:X .
        
        }     log:implies {lldmP:M     :d53Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            0.5  )
             math:exponentiation lldmP:Z .
        lldmP:M     a :Measurement;
             :ssd64Cm2 lldmP:X .
        
        }     log:implies {lldmP:M     :d64Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            2  )
             math:exponentiation lldmP:Z .
        lldmP:M     a :Measurement;
             :dx53Cm lldmP:X .
        
        }     log:implies {lldmP:M     :sdx53Cm2 lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            2  )
             math:exponentiation lldmP:Z .
        lldmP:M     a :Measurement;
             :dx64Cm lldmP:X .
        
        }     log:implies {lldmP:M     :sdx64Cm2 lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            2  )
             math:exponentiation lldmP:Z .
        lldmP:M     a :Measurement;
             :dy53Cm lldmP:X .
        
        }     log:implies {lldmP:M     :sdy53Cm2 lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            2  )
             math:exponentiation lldmP:Z .
        lldmP:M     a :Measurement;
             :dy64Cm lldmP:X .
        
        }     log:implies {lldmP:M     :sdy64Cm2 lldmP:Z .
        } .
    {
        lldmP:M     a :Measurement;
             :dCm lldmP:X .
        lldmP:X     math:greaterThan 1.25 .
        
        }     log:implies {lldmP:M     a :LLDAlarm .
        } .
    {
        lldmP:M     a :Measurement;
             :dCm lldmP:X .
        lldmP:X     math:lessThan -1.25 .
        
        }     log:implies {lldmP:M     a :LLDAlarm .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :cL1 lldmP:X;
             :cL3 lldmP:Y .
        
        }     log:implies {lldmP:M     :ddL13 lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :d53Cm lldmP:X;
             :d64Cm lldmP:Y .
        
        }     log:implies {lldmP:M     :dCm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :dd13Cm lldmP:X;
             :dy13Cm lldmP:Y .
        
        }     log:implies {lldmP:M     :ddy13Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :dd24Cm lldmP:X;
             :dy24Cm lldmP:Y .
        
        }     log:implies {lldmP:M     :ddy24Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :p1xCm lldmP:X;
             :p2xCm lldmP:Y .
        
        }     log:implies {lldmP:M     :dx12Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :p1xCm lldmP:Y;
             :p5xCm lldmP:X .
        
        }     log:implies {lldmP:M     :dx51Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :p1yCm lldmP:X;
             :p2yCm lldmP:Y .
        
        }     log:implies {lldmP:M     :dy12Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :p1yCm lldmP:X;
             :p3yCm lldmP:Y .
        
        }     log:implies {lldmP:M     :dy13Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :p2xCm lldmP:Y;
             :p6xCm lldmP:X .
        
        }     log:implies {lldmP:M     :dx62Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :p2yCm lldmP:X;
             :p4yCm lldmP:Y .
        
        }     log:implies {lldmP:M     :dy24Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :p3xCm lldmP:Y;
             :p5xCm lldmP:X .
        
        }     log:implies {lldmP:M     :dx53Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :p3yCm lldmP:Y;
             :p5yCm lldmP:X .
        
        }     log:implies {lldmP:M     :dy53Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :p4xCm lldmP:Y;
             :p6xCm lldmP:X .
        
        }     log:implies {lldmP:M     :dx64Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :p4yCm lldmP:Y;
             :p6yCm lldmP:X .
        
        }     log:implies {lldmP:M     :dy64Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :pL1x1Cm lldmP:X;
             :pL3x3Cm lldmP:Y .
        
        }     log:implies {lldmP:M     :dd13Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:difference lldmP:Z .
        lldmP:M     a :Measurement;
             :pL1x2Cm lldmP:X;
             :pL3x4Cm lldmP:Y .
        
        }     log:implies {lldmP:M     :dd24Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:product lldmP:Z .
        lldmP:M     a :Measurement;
             :cL1 lldmP:X;
             :dx51Cm lldmP:Y .
        
        }     log:implies {lldmP:M     :pL1dx51Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:product lldmP:Z .
        lldmP:M     a :Measurement;
             :cL1 lldmP:X;
             :dx62Cm lldmP:Y .
        
        }     log:implies {lldmP:M     :pL1dx62Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:product lldmP:Z .
        lldmP:M     a :Measurement;
             :cL1 lldmP:X;
             :p1xCm lldmP:Y .
        
        }     log:implies {lldmP:M     :pL1x1Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:product lldmP:Z .
        lldmP:M     a :Measurement;
             :cL1 lldmP:X;
             :p2xCm lldmP:Y .
        
        }     log:implies {lldmP:M     :pL1x2Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:product lldmP:Z .
        lldmP:M     a :Measurement;
             :cL3 lldmP:X;
             :p3xCm lldmP:Y .
        
        }     log:implies {lldmP:M     :pL3x3Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:product lldmP:Z .
        lldmP:M     a :Measurement;
             :cL3 lldmP:X;
             :p4xCm lldmP:Y .
        
        }     log:implies {lldmP:M     :pL3x4Cm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:quotient lldmP:Z .
        lldmP:M     a :Measurement;
             :ddL13 lldmP:Y;
             :ddy13Cm lldmP:X .
        
        }     log:implies {lldmP:M     :p5xCm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:quotient lldmP:Z .
        lldmP:M     a :Measurement;
             :ddL13 lldmP:Y;
             :ddy24Cm lldmP:X .
        
        }     log:implies {lldmP:M     :p6xCm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:sum lldmP:Z .
        lldmP:M     a :Measurement;
             :p1yCm lldmP:Y;
             :pL1dx51Cm lldmP:X .
        
        }     log:implies {lldmP:M     :p5yCm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:sum lldmP:Z .
        lldmP:M     a :Measurement;
             :p2yCm lldmP:Y;
             :pL1dx62Cm lldmP:X .
        
        }     log:implies {lldmP:M     :p6yCm lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:sum lldmP:Z .
        lldmP:M     a :Measurement;
             :sdx53Cm2 lldmP:X;
             :sdy53Cm2 lldmP:Y .
        
        }     log:implies {lldmP:M     :ssd53Cm2 lldmP:Z .
        } .
    {
        
          ( lldmP:X 
            lldmP:Y  )
             math:sum lldmP:Z .
        lldmP:M     a :Measurement;
             :sdx64Cm2 lldmP:X;
             :sdy64Cm2 lldmP:Y .
        
        }     log:implies {lldmP:M     :ssd64Cm2 lldmP:Z .
        } .
    {
        
          ( lldmP:Y 
            lldmP:X  )
             math:quotient lldmP:Z .
        lldmP:M     a :Measurement;
             :dx12Cm lldmP:X;
             :dy12Cm lldmP:Y .
        
        }     log:implies {lldmP:M     :cL1 lldmP:Z .
        } .
    
#ENDS