// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 



Check(NFSC503A_9){

     IF CS THEN KS

}

CS{

     isInstalled(SimpleSprinkler.Head, Building) = TRUE

}

KS{

     getResult(NFSC503A_9_1) = TRUE

     getResult(NFSC503A_9_3) = TRUE

     getResult(NFSC503A_9_4) = TRUE

     getResult(NFSC503A_9_6) = TRUE

     getResult(NFSC503A_9_8) = TRUE

     getResult(NFSC503A_9_9) = TRUE

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 1항

Check(NFSC503A_9_1){
     KS
}
KS{
     isObjectProperty(SimpleSprinkler.Head.openAndCloseType) = "EnclosedType"
}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 3호



Check(NFSC503A_9_0_3){

     KS

}

KS{

     getObjectDistance(SimpleSprinkler.Head, Ceiling | CeilingCovering | PlenumSpace | Duct | Shelf) <= 2.3m

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 4호



Check(NFSC503A_9_0_4){

     IF (CS1 THEN KS1) OR (CS2 THEN KS2) OR (CS3 THEN KS3)

}

CS1{

     isObjectProperty(Head.installationDirectionType) = "BottomUpType" OR "TopDownType"

}

KS1{

     getObjectDistance(Deflector, Ceiling | CeilingCovering) >= 25mm

     getObjectDistance(Deflector, Ceiling | CeilingCovering) <= 102mm

}

CS2{

     isObjectProperty(Head.shapeType) = "SideWallType" 

}

KS2{

     getObjectDistance(Deflector, Ceiling | CeilingCovering) >= 102mm

     getObjectDistance(Deflector, Ceiling | CeilingCovering) <= 152mm

}

CS3{

     isObjectProperty(Head.shapeType) = "FlushType" 

}

KS2{

     getObjectDistance(Deflector, Ceiling | CeilingCovering) <= 102mm

}


/ 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 6호



Check(NFSC503A_9_0_6){

     IF !CS THEN KS

}

CS{

     DBSH = getObjectDistance(Head.One, Head.One)

     getObjectdistance(Ceiling.Surface, Beam.BottomSurface) > 55cm

     getObjectdistance(Beam.BottomSideSurface, SimpleSprinkler.Head) <= DBSH/2

}

KS{

Beam myBeam{
isInstalled(Beam, SpecificFireFightingBuilding) = TRUE
}
     DCH = getObjectInterval(Head, myBeam)

     Head myHead{

     getObjectDistance(Head, myBeam) = DCH

     }

     

     IF getElementDistance(myHead.Deflector.Center, Beam) < 0.75m THEN getObjectVerticalLocation(myHead.Deflector, Beam.BottomSurface) < 0



     ELSE IF getElementDistance(myHead.Deflector.Center, Beam) >= 0.75m 

     OR getElementDistance(myHead.Deflector.Center, Beam) < 1m THEN getObjectVerticalLocation(myHead.Deflector, Beam.BottomSurface) < 0 

     getElementDistance(myHead.Deflector, Beam.BottomSurface) < 0.1m



     ELSE IF getElementDistance(myHead.Deflector.Center, Beam) >= 1m 

     OR getElementDistance(myHead.Deflector.Center, Beam) < 1.5m THEN getObjectVerticalLocation(myHead.Deflector, Beam.BottomSurface) < 0 

     getElementDistance(myHead.Deflector, Beam.BottomSurface) < 0.15m



     ELSE IF getElementDistance(myHead.Deflector.Center, Beam) >= 1.5m 

     THEN getObjectVerticalLocation(myHead.Deflector, Beam.BottomSurface) < 0 

     getElementDistance(myHead.Deflector, Beam.BottomSurface) < 0.3m

}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 8호

Check(NFSC503A_9_0_8){
     IF CS THEN KS
}
CS{
     isInstalled(SimpleSprinklerSystem, SpecificFireFightingBuilding) = TRUE

}
KS{
     getResult(NFSC503_15_1) = TRUE
}


// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 9호

Check(NFSC503A_9_0_9){
     IF CS THEN KS
}
CS{
     isExist(NFSC503A_6_0_7.mySpace) = TRUE
}
KS{
     Head myHead{
     isObjectProperty(Head.responseType) = "StandardResponseType"
     }
     isInstalled(myHead, NFSC503A_6_0_7.mySpace) = TRUE
     getResult(NFSC503_10) = TRUE
}