//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 1항 1호 Check(NFSC503A_8_1_1_가){      KS } KS{      getObjectProperty(Pipe.Material) = "KS_D_3507" }

//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 1항 1호

Check(NFSC503A_8_1_1_나){
     IF CS THEN KS
}
CS{
     isObjectProperty(Pipe.systemType) = "WetPipeSprinklerSystem"
}
KS{
     getObjectProperty(Pipe.Material) = "KS_D_5301"
}

//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 1항 1호

Check(NFSC503A_8_1_1_다){
     KS
}
KS{
     getObjectProperty(Pipe.Material) = "KS_D_3595"
}

//     간이스프링클러설비의 화재안전기준(NFSC 103A) 별표1 (간이헤드 수별 급수관의 구경) 1항 Check(NFSC103A_*_1){      getResult(NFSC103A_*_1_1) = TRUE      getResult(NFSC103A_*_1_2) = TRUE      getResult(NFSC103A_*_1_3) = TRUE      getResult(NFSC103A_*_1_4) = TRUE }            Pipe myPipe{      getObjectProperty(Pipe.usage) = "WaterSupplyPipe"      }      Pipe myPipe2{      isObjectProperty(Pipe.isBranchLines) = TRUE      }      PD = getObjectProperty(Pipe.diameter)      SSHN = getObjectCount(SimpleSprinkler.Head.) Check(NFSC103A_*_1_2){      IF CS THEN KS } CS{      Head myHead{      getObjectProperty(SimpleSprinkler.Head.openAndCloseType) = "EnclosedType"      }      isInstalled(myHead) = TRUE } KS{      IF PD = 25 THEN SSHN = 2      OR IF PD = 32 THEN SSHN = 3      OR IF PD = 40 THEN SSHN = 5      OR IF PD = 50 THEN SSHN = 10      OR IF PD = 65 THEN SSHN = 30      OR IF PD = 80 THEN SSHN = 60      OR IF PD = 100 THEN SSHN = 100      OR IF PD = 125 THEN SSHN = 160      OR IF PD = 150 THEN SSHN >= 161 } Check(NFSC103A_*_1_3){      IF CS THEN KS } CS{      Head myHead1{      getObjectProperty(SimpleSprinkler.Head.openAndCloseType) = "EnclosedType"      }      isInstalled(myHead1) = TRUE      Head myHead2{      getObjectVerticalLocation(Head, CeilingCovering, ) < 0      }      Head myHead3{      isInstalled(Head, CeilingCovering.Inside) = TRUE      }      isInstalled(myHead2, myPipe2) = TRUE      isInstalled(myHead3, myPipe2) = TRUE } KS{      IF PD = 25 THEN SSHN = 2      OR IF PD = 32 THEN SSHN = 4      OR IF PD = 40 THEN SSHN = 7      OR IF PD = 50 THEN SSHN = 15      OR IF PD = 65 THEN SSHN = 30      OR IF PD = 80 THEN SSHN = 60      OR IF PD = 100 THEN SSHN = 100      OR IF PD = 125 THEN SSHN = 160      OR IF PD = 150 THEN SSHN >= 161 }

//스프링클러설비의 화재안전기준(NFSC 103) 10조 3항
check(NFSC103_10_3){
     getResult(NFSC103_10_3_1) = TRUE
     getResult(NFSC103_10_3_2) = TRUE
     getResult(NFSC103_10_3_3) = TRUE
     getResult(NFSC103_10_3_4) = TRUE
}

// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 11항 2호 가목

Check(NFSC503A_8_11_2_가){
     KS
}
KS{
     Pipe myPipe{
     isObjectProperty(Pipe.usage) = "WaterDrainPipe"
     isObjectProperty(Pipe.isRiser) = TRUE
     }
     Valve myValve{
     isObjectProperty(Valve.isShutoffValve) = TRUE
     }
     isConnectedTo(Pipe, myPipe) = TRUE
     isInstalled(myValve, Pipe) = TRUE
}

// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 11항 2호 나목

Check(NFSC503A_8_11_2_나){
     KS
}
KS{
     isInstalled(AutomaticDrainSystem, Pipe) = TRUE
     isInstalled(PressureSwitch, Pipe) = TRUE
}
     

// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 1호 가복 Check(NFSC503A_8_16_1_가){      KS } KS{      ShutdownEquipment myShutdownEquipment{      isObjectProperty(ShutdownEquipment.type) = "Water"      }      Valve myValve1{      isObjectProperty(Valve.isIndicatingValve) = TRUE      }      Valve myValve2{      isObjectProperty(Valve.isCheckValve) = TRUE      }      Valve myValve3{      isObjectProperty(Valve.isTestValve) = TRUE      getObjectCount(Valve) = 2      }      isInstalledInOrder(WaterGauge, myShutdownEquipment, myValve1, myValve2, PressureGauge, WaterflowIndicator, myValve3) = TRUE }

// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 1호 나목

Check(NFSC503A_8_16_1_나){
     KS
}
KS{
     ShutdownEquipment myShutdownEquipment{
     isObjectProperty(ShutdownEquipment.type) = "Water"
     }
     Pipe myPipe{
     isObjectProperty(Pipe.systemType) != "SimpleSprinklerSystem"
     }
     isInstalled(myShutdownEquipment, myPipe) = TRUE
}