#Processed by Id: euler.yap,v 1.180 2007/05/05 10:28:07 josd Exp @prefix str: . @prefix var: . @prefix q: . @prefix list: . @prefix e: . @prefix fn: . @prefix xsd: . @prefix : . @prefix time: . @prefix log: . @prefix rdfs: . @prefix n3: . @prefix math: . @prefix owl: . @prefix r: . @prefix rdf: . #:Socrates rdf:type var:Man_3_. # _: e:true 1. [ a e:Builtin]. #[ e:true 1]. #:Socrates rdf:type :Mortal. # var:Man_3_ rdfs:subClassOf :Mortal. # _: e:true 1. [ a e:Builtin]. # :Socrates rdf:type var:Man_3_. # _: e:true 1. [ a e:Builtin]. #[ e:true 1]. #:Socrates rdf:type var:Man_3_. # _: e:true 1. [ a e:Builtin]. #:Socrates rdf:type var:Man_3_. [ a e:EulerPath]. #[ e:true 1]. #:Socrates rdf:type :Mortal. # var:Man_3_ rdfs:subClassOf :Mortal. # _: e:true 1. [ a e:Builtin]. # :Socrates rdf:type var:Man_3_. # _: e:true 1. [ a e:Builtin]. #:Socrates rdf:type :Mortal. [ a e:EulerPath]. #[ e:true 1]. :Socrates rdf:type var:Man_3_. :Socrates rdf:type :Mortal. #ENDS 0 msec. #Processed by Id: euler.yap,v 1.180 2007/05/05 10:28:07 josd Exp @prefix math: . @prefix e: . @prefix list: . @prefix q: . @prefix xsd: . @prefix os: . @prefix log: . @prefix rpo: . @prefix r: . @prefix rdfs: . @prefix fn: . @prefix time: . @prefix : . @prefix rdf: . @prefix var: . @prefix str: . @prefix owl: . @prefix n3: . #:Joe :isPrescribed :aspirinLowDose. # (:Joe :AcuteMyocardialInfarction) rpo:mu 0.9. # _: e:true 1. [ a e:Builtin]. # 0.9 math:greaterThan 0.7. [ a e:Builtin]. # :aspirinLowDose :prescribedFor :AcuteMyocardialInfarction. # _: e:true 1. [ a e:Builtin]. # :aspirinLowDose :excludedFor (:ActivePepticUlcerDisease :AllergyForAspirin). # _: e:true 1. [ a e:Builtin]. # :Joe :fineWith (:ActivePepticUlcerDisease :AllergyForAspirin). # (:Joe :ActivePepticUlcerDisease) rpo:mu 0.006. # _: e:true 1. [ a e:Builtin]. # 0.006 math:lessThan 0.01. [ a e:Builtin]. # (:ActivePepticUlcerDisease :AllergyForAspirin) rdf:type rdf:List. # :aspirinHighDose :excludedFor (:ActivePepticUlcerDisease :AllergyForAspirin). # _: e:true 1. [ a e:Builtin]. # (:ActivePepticUlcerDisease :AllergyForAspirin) rdf:first :ActivePepticUlcerDisease. [ a e:Builtin]. # (:ActivePepticUlcerDisease :AllergyForAspirin) rdf:rest (:AllergyForAspirin). [ a e:Builtin]. # :Joe :fineWith (:AllergyForAspirin). # (:Joe :AllergyForAspirin) rpo:mu 0.001. # _: e:true 1. [ a e:Builtin]. # 0.001 math:lessThan 0.01. [ a e:Builtin]. # (:AllergyForAspirin) rdf:type rdf:List. # (:ActivePepticUlcerDisease :AllergyForAspirin) rdf:rest (:AllergyForAspirin). [ a e:Builtin]. # (:ActivePepticUlcerDisease :AllergyForAspirin) rdf:type rdf:List. [ a e:EulerPath]. # (:AllergyForAspirin) rdf:first :AllergyForAspirin. [ a e:Builtin]. # (:AllergyForAspirin) rdf:rest (). [ a e:Builtin]. #[ e:true 1]. #:Joe :isPrescribed :betaBlocker. # (:Joe :AcuteMyocardialInfarction) rpo:mu 0.9. # _: e:true 1. [ a e:Builtin]. # 0.9 math:greaterThan 0.7. [ a e:Builtin]. # :betaBlocker :prescribedFor :AcuteMyocardialInfarction. # _: e:true 1. [ a e:Builtin]. # :betaBlocker :excludedFor (:SevereAsthma :ChronicObstructivePumonaryDisease). # _: e:true 1. [ a e:Builtin]. # :Joe :fineWith (:SevereAsthma :ChronicObstructivePumonaryDisease). # (:Joe :SevereAsthma) rpo:mu 0.001. # _: e:true 1. [ a e:Builtin]. # 0.001 math:lessThan 0.01. [ a e:Builtin]. # (:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:type rdf:List. # :betaBlocker :excludedFor (:SevereAsthma :ChronicObstructivePumonaryDisease). [ a e:EulerPath]. # (:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:first :SevereAsthma. [ a e:Builtin]. # (:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:rest (:ChronicObstructivePumonaryDisease). [ a e:Builtin]. # :Joe :fineWith (:ChronicObstructivePumonaryDisease). # (:Joe :ChronicObstructivePumonaryDisease) rpo:mu 0.001. # _: e:true 1. [ a e:Builtin]. # 0.001 math:lessThan 0.01. [ a e:Builtin]. # (:ChronicObstructivePumonaryDisease) rdf:type rdf:List. # (:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:rest (:ChronicObstructivePumonaryDisease). [ a e:Builtin]. # (:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:type rdf:List. [ a e:EulerPath]. # (:ChronicObstructivePumonaryDisease) rdf:first :ChronicObstructivePumonaryDisease. [ a e:Builtin]. # (:ChronicObstructivePumonaryDisease) rdf:rest (). [ a e:Builtin]. #[ e:true 1]. #:Joe :isPrescribed :aspirinLowDose. # (:Joe :AcuteMyocardialInfarction) rpo:mu 0.9. # _: e:true 1. [ a e:Builtin]. # 0.9 math:greaterThan 0.7. [ a e:Builtin]. # :aspirinLowDose :prescribedFor :AcuteMyocardialInfarction. # _: e:true 1. [ a e:Builtin]. # :aspirinLowDose :excludedFor (:ActivePepticUlcerDisease :AllergyForAspirin). # _: e:true 1. [ a e:Builtin]. # :Joe :fineWith (:ActivePepticUlcerDisease :AllergyForAspirin). # (:Joe :ActivePepticUlcerDisease) rpo:mu 0.006. # _: e:true 1. [ a e:Builtin]. # 0.006 math:lessThan 0.01. [ a e:Builtin]. # (:ActivePepticUlcerDisease :AllergyForAspirin) rdf:type rdf:List. # :aspirinHighDose :excludedFor (:ActivePepticUlcerDisease :AllergyForAspirin). # _: e:true 1. [ a e:Builtin]. # (:ActivePepticUlcerDisease :AllergyForAspirin) rdf:first :ActivePepticUlcerDisease. [ a e:Builtin]. # (:ActivePepticUlcerDisease :AllergyForAspirin) rdf:rest (:AllergyForAspirin). [ a e:Builtin]. # :Joe :fineWith (:AllergyForAspirin). # (:Joe :AllergyForAspirin) rpo:mu 0.001. # _: e:true 1. [ a e:Builtin]. # 0.001 math:lessThan 0.01. [ a e:Builtin]. # (:AllergyForAspirin) rdf:type rdf:List. # (:ActivePepticUlcerDisease :AllergyForAspirin) rdf:rest (:AllergyForAspirin). [ a e:Builtin]. # (:ActivePepticUlcerDisease :AllergyForAspirin) rdf:type rdf:List. [ a e:EulerPath]. # (:AllergyForAspirin) rdf:first :AllergyForAspirin. [ a e:Builtin]. # (:AllergyForAspirin) rdf:rest (). [ a e:Builtin]. #:Joe :isPrescribed :aspirinLowDose. [ a e:EulerPath]. #[ e:true 1]. #:Joe :isPrescribed :betaBlocker. # (:Joe :AcuteMyocardialInfarction) rpo:mu 0.9. # _: e:true 1. [ a e:Builtin]. # 0.9 math:greaterThan 0.7. [ a e:Builtin]. # :betaBlocker :prescribedFor :AcuteMyocardialInfarction. # _: e:true 1. [ a e:Builtin]. # :betaBlocker :excludedFor (:SevereAsthma :ChronicObstructivePumonaryDisease). # _: e:true 1. [ a e:Builtin]. # :Joe :fineWith (:SevereAsthma :ChronicObstructivePumonaryDisease). # (:Joe :SevereAsthma) rpo:mu 0.001. # _: e:true 1. [ a e:Builtin]. # 0.001 math:lessThan 0.01. [ a e:Builtin]. # (:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:type rdf:List. # :betaBlocker :excludedFor (:SevereAsthma :ChronicObstructivePumonaryDisease). [ a e:EulerPath]. # (:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:first :SevereAsthma. [ a e:Builtin]. # (:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:rest (:ChronicObstructivePumonaryDisease). [ a e:Builtin]. # :Joe :fineWith (:ChronicObstructivePumonaryDisease). # (:Joe :ChronicObstructivePumonaryDisease) rpo:mu 0.001. # _: e:true 1. [ a e:Builtin]. # 0.001 math:lessThan 0.01. [ a e:Builtin]. # (:ChronicObstructivePumonaryDisease) rdf:type rdf:List. # (:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:rest (:ChronicObstructivePumonaryDisease). [ a e:Builtin]. # (:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:type rdf:List. [ a e:EulerPath]. # (:ChronicObstructivePumonaryDisease) rdf:first :ChronicObstructivePumonaryDisease. [ a e:Builtin]. # (:ChronicObstructivePumonaryDisease) rdf:rest (). [ a e:Builtin]. #:Joe :isPrescribed :betaBlocker. [ a e:EulerPath]. #[ e:true 1]. :Joe :isPrescribed :aspirinLowDose. :Joe :isPrescribed :betaBlocker. #ENDS 24 msec. #Processed by Id: euler.yap,v 1.180 2007/05/05 10:28:07 josd Exp @prefix str: . @prefix var: . @prefix q: . @prefix list: . @prefix e: . @prefix fn: . @prefix xsd: . @prefix : . @prefix time: . @prefix log: . @prefix rdfs: . @prefix n3: . @prefix math: . @prefix owl: . @prefix r: . @prefix rdf: . #:meas47 rdf:type :Measurement. # _: e:true 1. [ a e:Builtin]. #:meas47 rdf:type :LLDAlarm. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dCm -1.9082339805375. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :d53Cm 21.5489004646173. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :ssd53Cm2 464.355111233982. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :sdx53Cm2 1.82745620436193. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dx53Cm -1.35183438496064. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p5xCm 2.24816561503936. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :ddy13Cm -35.9075844155844. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dd13Cm -57.9075844155844. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :pL1x1Cm -0.634857142857143. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL1 -0.0628571428571429. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dy12Cm 2.2. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p1yCm 7.8. # _: e:true 1. [ a e:Builtin]. # :meas47 :p2yCm 5.6. # _: e:true 1. [ a e:Builtin]. # (7.8 5.6) math:difference 2.2. [ a e:Builtin]. # :meas47 :dx12Cm -35.0. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p1xCm 10.1. # _: e:true 1. [ a e:Builtin]. # :meas47 :p2xCm 45.1. # _: e:true 1. [ a e:Builtin]. # (10.1 45.1) math:difference -35.0. [ a e:Builtin]. # (2.2 -35.0) math:quotient -0.0628571428571429. [ a e:Builtin]. # :meas47 :p1xCm 10.1. [ a e:EulerPath]. # (-0.0628571428571429 10.1) math:product -0.634857142857143. [ a e:Builtin]. # :meas47 :pL3x3Cm 57.2727272727273. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL3 15.9090909090909. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dL3m -15.9090909090909. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL1 -0.0628571428571429. [ a e:EulerPath]. # (1 -0.0628571428571429) math:quotient -15.9090909090909. [ a e:Builtin]. # (0 -15.9090909090909) math:difference 15.9090909090909. [ a e:Builtin]. # :meas47 :p3xCm 3.6. # _: e:true 1. [ a e:Builtin]. # (15.9090909090909 3.6) math:product 57.2727272727273. [ a e:Builtin]. # (-0.634857142857143 57.2727272727273) math:difference -57.9075844155844. [ a e:Builtin]. # :meas47 :dy13Cm -22.0. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p1yCm 7.8. [ a e:EulerPath]. # :meas47 :p3yCm 29.8. # _: e:true 1. [ a e:Builtin]. # (7.8 29.8) math:difference -22.0. [ a e:Builtin]. # (-57.9075844155844 -22.0) math:difference -35.9075844155844. [ a e:Builtin]. # :meas47 :ddL13 -15.9719480519481. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL1 -0.0628571428571429. [ a e:EulerPath]. # :meas47 :cL3 15.9090909090909. [ a e:EulerPath]. # (-0.0628571428571429 15.9090909090909) math:difference -15.9719480519481. [ a e:Builtin]. # (-35.9075844155844 -15.9719480519481) math:quotient 2.24816561503936. [ a e:Builtin]. # :meas47 :p3xCm 3.6. [ a e:EulerPath]. # (2.24816561503936 3.6) math:difference -1.35183438496064. [ a e:Builtin]. # (-1.35183438496064 2) math:exponentiation 1.82745620436193. [ a e:Builtin]. # :meas47 :sdy53Cm2 462.52765502962. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dy53Cm -21.5064561243739. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p5yCm 8.2935438756261. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :pL1dx51Cm 0.493543875626098. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL1 -0.0628571428571429. [ a e:EulerPath]. # :meas47 :dx51Cm -7.85183438496064. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p5xCm 2.24816561503936. [ a e:EulerPath]. # :meas47 :p1xCm 10.1. [ a e:EulerPath]. # (2.24816561503936 10.1) math:difference -7.85183438496064. [ a e:Builtin]. # (-0.0628571428571429 -7.85183438496064) math:product 0.493543875626098. [ a e:Builtin]. # :meas47 :p1yCm 7.8. [ a e:EulerPath]. # (0.493543875626098 7.8) math:sum 8.2935438756261. [ a e:Builtin]. # :meas47 :p3yCm 29.8. [ a e:EulerPath]. # (8.2935438756261 29.8) math:difference -21.5064561243739. [ a e:Builtin]. # (-21.5064561243739 2) math:exponentiation 462.52765502962. [ a e:Builtin]. # (1.82745620436193 462.52765502962) math:sum 464.355111233982. [ a e:Builtin]. # (464.355111233982 0.5) math:exponentiation 21.5489004646173. [ a e:Builtin]. # :meas47 :d64Cm 23.4571344451548. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :ssd64Cm2 550.237156378065. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :sdx64Cm2 2.1654425265643. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dx64Cm -1.47154426592077. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p6xCm 53.2284557340792. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :ddy24Cm -850.16212987013. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dd24Cm -873.06212987013. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :pL1x2Cm -2.83485714285714. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL1 -0.0628571428571429. [ a e:EulerPath]. # :meas47 :p2xCm 45.1. [ a e:EulerPath]. # (-0.0628571428571429 45.1) math:product -2.83485714285714. [ a e:Builtin]. # :meas47 :pL3x4Cm 870.227272727273. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL3 15.9090909090909. [ a e:EulerPath]. # :meas47 :p4xCm 54.7. # _: e:true 1. [ a e:Builtin]. # (15.9090909090909 54.7) math:product 870.227272727273. [ a e:Builtin]. # (-2.83485714285714 870.227272727273) math:difference -873.06212987013. [ a e:Builtin]. # :meas47 :dy24Cm -22.9. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p2yCm 5.6. [ a e:EulerPath]. # :meas47 :p4yCm 28.5. # _: e:true 1. [ a e:Builtin]. # (5.6 28.5) math:difference -22.9. [ a e:Builtin]. # (-873.06212987013 -22.9) math:difference -850.16212987013. [ a e:Builtin]. # :meas47 :ddL13 -15.9719480519481. [ a e:EulerPath]. # (-850.16212987013 -15.9719480519481) math:quotient 53.2284557340792. [ a e:Builtin]. # :meas47 :p4xCm 54.7. [ a e:EulerPath]. # (53.2284557340792 54.7) math:difference -1.47154426592077. [ a e:Builtin]. # (-1.47154426592077 2) math:exponentiation 2.1654425265643. [ a e:Builtin]. # :meas47 :sdy64Cm2 548.071713851501. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dy64Cm -23.410931503285. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p6yCm 5.08906849671502. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :pL1dx62Cm -0.51093150328498. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL1 -0.0628571428571429. [ a e:EulerPath]. # :meas47 :dx62Cm 8.12845573407923. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p6xCm 53.2284557340792. [ a e:EulerPath]. # :meas47 :p2xCm 45.1. [ a e:EulerPath]. # (53.2284557340792 45.1) math:difference 8.12845573407923. [ a e:Builtin]. # (-0.0628571428571429 8.12845573407923) math:product -0.51093150328498. [ a e:Builtin]. # :meas47 :p2yCm 5.6. [ a e:EulerPath]. # (-0.51093150328498 5.6) math:sum 5.08906849671502. [ a e:Builtin]. # :meas47 :p4yCm 28.5. [ a e:EulerPath]. # (5.08906849671502 28.5) math:difference -23.410931503285. [ a e:Builtin]. # (-23.410931503285 2) math:exponentiation 548.071713851501. [ a e:Builtin]. # (2.1654425265643 548.071713851501) math:sum 550.237156378065. [ a e:Builtin]. # (550.237156378065 0.5) math:exponentiation 23.4571344451548. [ a e:Builtin]. # (21.5489004646173 23.4571344451548) math:difference -1.9082339805375. [ a e:Builtin]. # -1.9082339805375 math:lessThan -1.25. [ a e:Builtin]. #[ e:true 1]. #:meas47 rdf:type :Measurement. # _: e:true 1. [ a e:Builtin]. #:meas47 rdf:type :LLDAlarm. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dCm -1.9082339805375. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :d53Cm 21.5489004646173. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :ssd53Cm2 464.355111233982. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :sdx53Cm2 1.82745620436193. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dx53Cm -1.35183438496064. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p5xCm 2.24816561503936. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :ddy13Cm -35.9075844155844. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dd13Cm -57.9075844155844. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :pL1x1Cm -0.634857142857143. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL1 -0.0628571428571429. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dy12Cm 2.2. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p1yCm 7.8. # _: e:true 1. [ a e:Builtin]. # :meas47 :p2yCm 5.6. # _: e:true 1. [ a e:Builtin]. # (7.8 5.6) math:difference 2.2. [ a e:Builtin]. # :meas47 :dx12Cm -35.0. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p1xCm 10.1. # _: e:true 1. [ a e:Builtin]. # :meas47 :p2xCm 45.1. # _: e:true 1. [ a e:Builtin]. # (10.1 45.1) math:difference -35.0. [ a e:Builtin]. # (2.2 -35.0) math:quotient -0.0628571428571429. [ a e:Builtin]. # :meas47 :p1xCm 10.1. [ a e:EulerPath]. # (-0.0628571428571429 10.1) math:product -0.634857142857143. [ a e:Builtin]. # :meas47 :pL3x3Cm 57.2727272727273. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL3 15.9090909090909. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dL3m -15.9090909090909. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL1 -0.0628571428571429. [ a e:EulerPath]. # (1 -0.0628571428571429) math:quotient -15.9090909090909. [ a e:Builtin]. # (0 -15.9090909090909) math:difference 15.9090909090909. [ a e:Builtin]. # :meas47 :p3xCm 3.6. # _: e:true 1. [ a e:Builtin]. # (15.9090909090909 3.6) math:product 57.2727272727273. [ a e:Builtin]. # (-0.634857142857143 57.2727272727273) math:difference -57.9075844155844. [ a e:Builtin]. # :meas47 :dy13Cm -22.0. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p1yCm 7.8. [ a e:EulerPath]. # :meas47 :p3yCm 29.8. # _: e:true 1. [ a e:Builtin]. # (7.8 29.8) math:difference -22.0. [ a e:Builtin]. # (-57.9075844155844 -22.0) math:difference -35.9075844155844. [ a e:Builtin]. # :meas47 :ddL13 -15.9719480519481. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL1 -0.0628571428571429. [ a e:EulerPath]. # :meas47 :cL3 15.9090909090909. [ a e:EulerPath]. # (-0.0628571428571429 15.9090909090909) math:difference -15.9719480519481. [ a e:Builtin]. # (-35.9075844155844 -15.9719480519481) math:quotient 2.24816561503936. [ a e:Builtin]. # :meas47 :p3xCm 3.6. [ a e:EulerPath]. # (2.24816561503936 3.6) math:difference -1.35183438496064. [ a e:Builtin]. # (-1.35183438496064 2) math:exponentiation 1.82745620436193. [ a e:Builtin]. # :meas47 :sdy53Cm2 462.52765502962. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dy53Cm -21.5064561243739. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p5yCm 8.2935438756261. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :pL1dx51Cm 0.493543875626098. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL1 -0.0628571428571429. [ a e:EulerPath]. # :meas47 :dx51Cm -7.85183438496064. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p5xCm 2.24816561503936. [ a e:EulerPath]. # :meas47 :p1xCm 10.1. [ a e:EulerPath]. # (2.24816561503936 10.1) math:difference -7.85183438496064. [ a e:Builtin]. # (-0.0628571428571429 -7.85183438496064) math:product 0.493543875626098. [ a e:Builtin]. # :meas47 :p1yCm 7.8. [ a e:EulerPath]. # (0.493543875626098 7.8) math:sum 8.2935438756261. [ a e:Builtin]. # :meas47 :p3yCm 29.8. [ a e:EulerPath]. # (8.2935438756261 29.8) math:difference -21.5064561243739. [ a e:Builtin]. # (-21.5064561243739 2) math:exponentiation 462.52765502962. [ a e:Builtin]. # (1.82745620436193 462.52765502962) math:sum 464.355111233982. [ a e:Builtin]. # (464.355111233982 0.5) math:exponentiation 21.5489004646173. [ a e:Builtin]. # :meas47 :d64Cm 23.4571344451548. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :ssd64Cm2 550.237156378065. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :sdx64Cm2 2.1654425265643. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dx64Cm -1.47154426592077. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p6xCm 53.2284557340792. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :ddy24Cm -850.16212987013. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dd24Cm -873.06212987013. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :pL1x2Cm -2.83485714285714. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL1 -0.0628571428571429. [ a e:EulerPath]. # :meas47 :p2xCm 45.1. [ a e:EulerPath]. # (-0.0628571428571429 45.1) math:product -2.83485714285714. [ a e:Builtin]. # :meas47 :pL3x4Cm 870.227272727273. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL3 15.9090909090909. [ a e:EulerPath]. # :meas47 :p4xCm 54.7. # _: e:true 1. [ a e:Builtin]. # (15.9090909090909 54.7) math:product 870.227272727273. [ a e:Builtin]. # (-2.83485714285714 870.227272727273) math:difference -873.06212987013. [ a e:Builtin]. # :meas47 :dy24Cm -22.9. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p2yCm 5.6. [ a e:EulerPath]. # :meas47 :p4yCm 28.5. # _: e:true 1. [ a e:Builtin]. # (5.6 28.5) math:difference -22.9. [ a e:Builtin]. # (-873.06212987013 -22.9) math:difference -850.16212987013. [ a e:Builtin]. # :meas47 :ddL13 -15.9719480519481. [ a e:EulerPath]. # (-850.16212987013 -15.9719480519481) math:quotient 53.2284557340792. [ a e:Builtin]. # :meas47 :p4xCm 54.7. [ a e:EulerPath]. # (53.2284557340792 54.7) math:difference -1.47154426592077. [ a e:Builtin]. # (-1.47154426592077 2) math:exponentiation 2.1654425265643. [ a e:Builtin]. # :meas47 :sdy64Cm2 548.071713851501. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :dy64Cm -23.410931503285. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p6yCm 5.08906849671502. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :pL1dx62Cm -0.51093150328498. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :cL1 -0.0628571428571429. [ a e:EulerPath]. # :meas47 :dx62Cm 8.12845573407923. # :meas47 rdf:type :Measurement. [ a e:EulerPath]. # :meas47 :p6xCm 53.2284557340792. [ a e:EulerPath]. # :meas47 :p2xCm 45.1. [ a e:EulerPath]. # (53.2284557340792 45.1) math:difference 8.12845573407923. [ a e:Builtin]. # (-0.0628571428571429 8.12845573407923) math:product -0.51093150328498. [ a e:Builtin]. # :meas47 :p2yCm 5.6. [ a e:EulerPath]. # (-0.51093150328498 5.6) math:sum 5.08906849671502. [ a e:Builtin]. # :meas47 :p4yCm 28.5. [ a e:EulerPath]. # (5.08906849671502 28.5) math:difference -23.410931503285. [ a e:Builtin]. # (-23.410931503285 2) math:exponentiation 548.071713851501. [ a e:Builtin]. # (2.1654425265643 548.071713851501) math:sum 550.237156378065. [ a e:Builtin]. # (550.237156378065 0.5) math:exponentiation 23.4571344451548. [ a e:Builtin]. # (21.5489004646173 23.4571344451548) math:difference -1.9082339805375. [ a e:Builtin]. # -1.9082339805375 math:lessThan -1.25. [ a e:Builtin]. #:meas47 rdf:type :LLDAlarm. [ a e:EulerPath]. #[ e:true 1]. :meas47 rdf:type :LLDAlarm. #ENDS 28 msec. #Processed by Id: euler.yap,v 1.180 2007/05/05 10:28:07 josd Exp @prefix str: . @prefix var: . @prefix q: . @prefix list: . @prefix e: . @prefix fn: . @prefix xsd: . @prefix : . @prefix time: . @prefix log: . @prefix rdfs: . @prefix n3: . @prefix math: . @prefix owl: . @prefix r: . @prefix rdf: . #:Coma e:boolean e:F. # :SerumCalcium e:boolean e:T. # :MetastaticCancer e:boolean e:T. # var:_10_ e:true 0.2. [ a e:Builtin]. # var:_10_ e:true 0.8. [ a e:Builtin]. # :BrainTumor e:boolean e:T. # :MetastaticCancer e:boolean e:T. [ a e:EulerPath]. # var:_10_ e:true 0.2. [ a e:Builtin]. # var:_10_ e:true 0.2. [ a e:Builtin]. #:HeadAche e:boolean e:T. # :BrainTumor e:boolean e:T. [ a e:EulerPath]. # var:_10_ e:true 0.8. [ a e:Builtin]. #[ e:true 0.00512]. #:Coma e:boolean e:F. # :SerumCalcium e:boolean e:T. # :MetastaticCancer e:boolean e:F. # var:_10_ e:true 0.8. [ a e:Builtin]. # var:_10_ e:true 0.2. [ a e:Builtin]. # :BrainTumor e:boolean e:T. # :MetastaticCancer e:boolean e:F. [ a e:EulerPath]. # var:_10_ e:true 0.05. [ a e:Builtin]. # var:_10_ e:true 0.2. [ a e:Builtin]. #:HeadAche e:boolean e:T. # :BrainTumor e:boolean e:T. [ a e:EulerPath]. # var:_10_ e:true 0.8. [ a e:Builtin]. #[ e:true 0.00128]. #:Coma e:boolean e:F. # :SerumCalcium e:boolean e:T. # :MetastaticCancer e:boolean e:T. # var:_10_ e:true 0.2. [ a e:Builtin]. # var:_10_ e:true 0.8. [ a e:Builtin]. # :BrainTumor e:boolean e:F. # :MetastaticCancer e:boolean e:T. [ a e:EulerPath]. # var:_10_ e:true 0.8. [ a e:Builtin]. # var:_10_ e:true 0.2. [ a e:Builtin]. #:HeadAche e:boolean e:T. # :BrainTumor e:boolean e:F. [ a e:EulerPath]. # var:_10_ e:true 0.6. [ a e:Builtin]. #[ e:true 0.01536]. #:Coma e:boolean e:F. # :SerumCalcium e:boolean e:T. # :MetastaticCancer e:boolean e:F. # var:_10_ e:true 0.8. [ a e:Builtin]. # var:_10_ e:true 0.2. [ a e:Builtin]. # :BrainTumor e:boolean e:F. # :MetastaticCancer e:boolean e:F. [ a e:EulerPath]. # var:_10_ e:true 0.95. [ a e:Builtin]. # var:_10_ e:true 0.2. [ a e:Builtin]. #:HeadAche e:boolean e:T. # :BrainTumor e:boolean e:F. [ a e:EulerPath]. # var:_10_ e:true 0.6. [ a e:Builtin]. #[ e:true 0.01824]. #:Coma e:boolean e:F. # :SerumCalcium e:boolean e:F. # :MetastaticCancer e:boolean e:T. # var:_10_ e:true 0.2. [ a e:Builtin]. # var:_10_ e:true 0.2. [ a e:Builtin]. # :BrainTumor e:boolean e:T. # :MetastaticCancer e:boolean e:T. [ a e:EulerPath]. # var:_10_ e:true 0.2. [ a e:Builtin]. # var:_10_ e:true 0.2. [ a e:Builtin]. #:HeadAche e:boolean e:T. # :BrainTumor e:boolean e:T. [ a e:EulerPath]. # var:_10_ e:true 0.8. [ a e:Builtin]. #[ e:true 0.00128]. #:Coma e:boolean e:F. # :SerumCalcium e:boolean e:F. # :MetastaticCancer e:boolean e:F. # var:_10_ e:true 0.8. [ a e:Builtin]. # var:_10_ e:true 0.8. [ a e:Builtin]. # :BrainTumor e:boolean e:T. # :MetastaticCancer e:boolean e:F. [ a e:EulerPath]. # var:_10_ e:true 0.05. [ a e:Builtin]. # var:_10_ e:true 0.2. [ a e:Builtin]. #:HeadAche e:boolean e:T. # :BrainTumor e:boolean e:T. [ a e:EulerPath]. # var:_10_ e:true 0.8. [ a e:Builtin]. #[ e:true 0.00512]. #:Coma e:boolean e:F. # :SerumCalcium e:boolean e:F. # :MetastaticCancer e:boolean e:T. # var:_10_ e:true 0.2. [ a e:Builtin]. # var:_10_ e:true 0.2. [ a e:Builtin]. # :BrainTumor e:boolean e:F. # :MetastaticCancer e:boolean e:T. [ a e:EulerPath]. # var:_10_ e:true 0.8. [ a e:Builtin]. # var:_10_ e:true 0.95. [ a e:Builtin]. #:HeadAche e:boolean e:T. # :BrainTumor e:boolean e:F. [ a e:EulerPath]. # var:_10_ e:true 0.6. [ a e:Builtin]. #[ e:true 0.01824]. #:Coma e:boolean e:F. # :SerumCalcium e:boolean e:F. # :MetastaticCancer e:boolean e:F. # var:_10_ e:true 0.8. [ a e:Builtin]. # var:_10_ e:true 0.8. [ a e:Builtin]. # :BrainTumor e:boolean e:F. # :MetastaticCancer e:boolean e:F. [ a e:EulerPath]. # var:_10_ e:true 0.95. [ a e:Builtin]. # var:_10_ e:true 0.95. [ a e:Builtin]. #:HeadAche e:boolean e:T. # :BrainTumor e:boolean e:F. [ a e:EulerPath]. # var:_10_ e:true 0.6. [ a e:Builtin]. #[ e:true 0.34656]. #:Coma e:boolean e:F. # :SerumCalcium e:boolean e:T. # :MetastaticCancer e:boolean e:T. # var:_10_ e:true 0.2. [ a e:Builtin]. # var:_10_ e:true 0.8. [ a e:Builtin]. # :BrainTumor e:boolean e:T. # :MetastaticCancer e:boolean e:T. [ a e:EulerPath]. # var:_10_ e:true 0.2. [ a e:Builtin]. # var:_10_ e:true 0.2. [ a e:Builtin]. #:HeadAche e:boolean e:T. # :BrainTumor e:boolean e:T. [ a e:EulerPath]. # var:_10_ e:true 0.8. [ a e:Builtin]. #:MetastaticCancer e:boolean e:T. [ a e:EulerPath]. #[ e:true 0.00512]. #:Coma e:boolean e:F. # :SerumCalcium e:boolean e:T. # :MetastaticCancer e:boolean e:T. # var:_10_ e:true 0.2. [ a e:Builtin]. # var:_10_ e:true 0.8. [ a e:Builtin]. # :BrainTumor e:boolean e:F. # :MetastaticCancer e:boolean e:T. [ a e:EulerPath]. # var:_10_ e:true 0.8. [ a e:Builtin]. # var:_10_ e:true 0.2. [ a e:Builtin]. #:HeadAche e:boolean e:T. # :BrainTumor e:boolean e:F. [ a e:EulerPath]. # var:_10_ e:true 0.6. [ a e:Builtin]. #:MetastaticCancer e:boolean e:T. [ a e:EulerPath]. #[ e:true 0.01536]. #:Coma e:boolean e:F. # :SerumCalcium e:boolean e:F. # :MetastaticCancer e:boolean e:T. # var:_10_ e:true 0.2. [ a e:Builtin]. # var:_10_ e:true 0.2. [ a e:Builtin]. # :BrainTumor e:boolean e:T. # :MetastaticCancer e:boolean e:T. [ a e:EulerPath]. # var:_10_ e:true 0.2. [ a e:Builtin]. # var:_10_ e:true 0.2. [ a e:Builtin]. #:HeadAche e:boolean e:T. # :BrainTumor e:boolean e:T. [ a e:EulerPath]. # var:_10_ e:true 0.8. [ a e:Builtin]. #:MetastaticCancer e:boolean e:T. [ a e:EulerPath]. #[ e:true 0.00128]. #:Coma e:boolean e:F. # :SerumCalcium e:boolean e:F. # :MetastaticCancer e:boolean e:T. # var:_10_ e:true 0.2. [ a e:Builtin]. # var:_10_ e:true 0.2. [ a e:Builtin]. # :BrainTumor e:boolean e:F. # :MetastaticCancer e:boolean e:T. [ a e:EulerPath]. # var:_10_ e:true 0.8. [ a e:Builtin]. # var:_10_ e:true 0.95. [ a e:Builtin]. #:HeadAche e:boolean e:T. # :BrainTumor e:boolean e:F. [ a e:EulerPath]. # var:_10_ e:true 0.6. [ a e:Builtin]. #:MetastaticCancer e:boolean e:T. [ a e:EulerPath]. #[ e:true 0.01824]. {:Coma e:boolean e:F. :HeadAche e:boolean e:T. _: e:true 0.0972762645914397} => {:MetastaticCancer e:boolean e:T}. #ENDS 4 msec. #Processed by Id: euler.yap,v 1.180 2007/05/05 10:28:07 josd Exp @prefix math: . @prefix e: . @prefix list: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ACR: . @prefix r: . @prefix rdfs: . @prefix fn: . @prefix time: . @prefix : . @prefix rdf: . @prefix var: . @prefix str: . @prefix owl: . @prefix UMLS: . @prefix n3: . #var:e1113235_12_ :rl-term :RL432. # _: e:true 1. [ a e:Builtin]. #var:e1113235_12_ :axis-term var:e1113290_12_. # _: e:true 1. [ a e:Builtin]. #var:e1113290_12_ :rl-term :RL433. # _: e:true 1. [ a e:Builtin]. #:RL433 :name "rotator cuff muscles". # _: e:true 1. [ a e:Builtin]. #[ e:true 1]. #var:e1113235_12_ :rl-term :RL432. # _: e:true 1. [ a e:Builtin]. #var:e1113235_12_ :axis-term var:e1113335_12_. # _: e:true 1. [ a e:Builtin]. #var:e1113335_12_ :rl-term :RL438. # _: e:true 1. [ a e:Builtin]. #:RL438 :name "teres major muscle". # _: e:true 1. [ a e:Builtin]. #[ e:true 1]. #var:e1113235_12_ :rl-term :RL432. # _: e:true 1. [ a e:Builtin]. #var:e1113235_12_ :axis-term var:e1113340_12_. # _: e:true 1. [ a e:Builtin]. #var:e1113340_12_ :rl-term :RL439. # _: e:true 1. [ a e:Builtin]. #:RL439 :name "deltoid muscle". # _: e:true 1. [ a e:Builtin]. #[ e:true 1]. #var:e1113235_12_ :rl-term :RL432. # _: e:true 1. [ a e:Builtin]. #var:e1113235_12_ :axis-term var:e1113345_12_. # _: e:true 1. [ a e:Builtin]. #var:e1113345_12_ :rl-term :RL440. # _: e:true 1. [ a e:Builtin]. #:RL440 :name "trapezius muscle". # _: e:true 1. [ a e:Builtin]. #[ e:true 1]. #var:e1113235_12_ :rl-term :RL432. # _: e:true 1. [ a e:Builtin]. #var:e1113235_12_ :axis-term var:e1113350_12_. # _: e:true 1. [ a e:Builtin]. #var:e1113350_12_ :rl-term :RL441. # _: e:true 1. [ a e:Builtin]. #:RL441 :name "pectoralis major muscle". # _: e:true 1. [ a e:Builtin]. #[ e:true 1]. #var:e1113235_12_ :rl-term :RL432. # _: e:true 1. [ a e:Builtin]. #var:e1113235_12_ :axis-term var:e1113355_12_. # _: e:true 1. [ a e:Builtin]. #var:e1113355_12_ :rl-term :RL442. # _: e:true 1. [ a e:Builtin]. #:RL442 :name "pectoralis minor muscle". # _: e:true 1. [ a e:Builtin]. #[ e:true 1]. #var:e1113235_12_ :rl-term :RL432. # _: e:true 1. [ a e:Builtin]. #var:e1113235_12_ :axis-term var:e1113290_12_. # _: e:true 1. [ a e:Builtin]. #var:e1113290_12_ :rl-term :RL433. # _: e:true 1. [ a e:Builtin]. #:RL433 :name "rotator cuff muscles". # _: e:true 1. [ a e:Builtin]. #:RL433 :name "rotator cuff muscles". [ a e:EulerPath]. #[ e:true 1]. #var:e1113235_12_ :rl-term :RL432. # _: e:true 1. [ a e:Builtin]. #var:e1113235_12_ :axis-term var:e1113335_12_. # _: e:true 1. [ a e:Builtin]. #var:e1113335_12_ :rl-term :RL438. # _: e:true 1. [ a e:Builtin]. #:RL438 :name "teres major muscle". # _: e:true 1. [ a e:Builtin]. #:RL438 :name "teres major muscle". [ a e:EulerPath]. #[ e:true 1]. #var:e1113235_12_ :rl-term :RL432. # _: e:true 1. [ a e:Builtin]. #var:e1113235_12_ :axis-term var:e1113340_12_. # _: e:true 1. [ a e:Builtin]. #var:e1113340_12_ :rl-term :RL439. # _: e:true 1. [ a e:Builtin]. #:RL439 :name "deltoid muscle". # _: e:true 1. [ a e:Builtin]. #:RL439 :name "deltoid muscle". [ a e:EulerPath]. #[ e:true 1]. #var:e1113235_12_ :rl-term :RL432. # _: e:true 1. [ a e:Builtin]. #var:e1113235_12_ :axis-term var:e1113345_12_. # _: e:true 1. [ a e:Builtin]. #var:e1113345_12_ :rl-term :RL440. # _: e:true 1. [ a e:Builtin]. #:RL440 :name "trapezius muscle". # _: e:true 1. [ a e:Builtin]. #:RL440 :name "trapezius muscle". [ a e:EulerPath]. #[ e:true 1]. #var:e1113235_12_ :rl-term :RL432. # _: e:true 1. [ a e:Builtin]. #var:e1113235_12_ :axis-term var:e1113350_12_. # _: e:true 1. [ a e:Builtin]. #var:e1113350_12_ :rl-term :RL441. # _: e:true 1. [ a e:Builtin]. #:RL441 :name "pectoralis major muscle". # _: e:true 1. [ a e:Builtin]. #:RL441 :name "pectoralis major muscle". [ a e:EulerPath]. #[ e:true 1]. #var:e1113235_12_ :rl-term :RL432. # _: e:true 1. [ a e:Builtin]. #var:e1113235_12_ :axis-term var:e1113355_12_. # _: e:true 1. [ a e:Builtin]. #var:e1113355_12_ :rl-term :RL442. # _: e:true 1. [ a e:Builtin]. #:RL442 :name "pectoralis minor muscle". # _: e:true 1. [ a e:Builtin]. #:RL442 :name "pectoralis minor muscle". [ a e:EulerPath]. #[ e:true 1]. :RL433 :name "rotator cuff muscles". :RL438 :name "teres major muscle". :RL439 :name "deltoid muscle". :RL440 :name "trapezius muscle". :RL441 :name "pectoralis major muscle". :RL442 :name "pectoralis minor muscle". #ENDS 8 msec.