//연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 1항 3호 Check(NFSC503_5_1_3){ KS } KS{ (isObjectProperty(Ceiling.Material.nonCombustibility)=TRUE OR isObjectProperty(Ceiling.Material.quasiNonCombustibility)=TRUE) (isObjectProperty(CeilingCovering.Material.nonCombustibility)=TRUE OR isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=TRUE) SprinklerSystem mySprinklerSystem{ SprinklerSystem.type = "WetPipeSprinklerSystem" } isInstalled(mySprinklerSystem, Ceiling)=TRUE isInstalled(mySprinklerSystem, CeilingCovering)=TRUE }
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 2항 3호 Check(NFSC102_6_2_3){ KS } KS{ SprinklerSystem mySprinklerSystem{ isObjectProperty(SprinklerSystem.type) = "WetPipeSprinklerSystem" } (isObjectProperty(Ceiling.Material.nonCombustibility)=TRUE OR isObjectProperty(Ceiling.Material.quasiNonCombustibility)=TRUE) (isObjectProperty(CeilingCovering.Material.nonCombustibility)=TRUE OR isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=TRUE) isInstalled(mySprinklerSystem, Ceiling)=TRUE isInstalled(mySprinklerSystem, CeilingCovering)=TRUE }
//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 2항 3호 Check(NFSC503A_8_2_3){ KS } KS{ SprinklerSystem mySprinklerSystem{ isObjectProperty(SprinklerSystem.type) = "WetPipeSprinklerSystem" } (isObjectProperty(Ceiling.Material.nonCombustibility)=TRUE OR isObjectProperty(Ceiling.Material.quasiNonCombustibility)=TRUE) (isObjectProperty(CeilingCovering.Material.nonCombustibility)=TRUE OR isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=TRUE) isInstalled(mySprinklerSystem, Ceiling)=TRUE isInstalled(mySprinklerSystem, CeilingCovering)=TRUE }
//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 3항 3호 Check(NFSC502_5_3_3){ KS } KS{ ( isObjectProperty(Ceiling.Material.quasiNonCombustibility)=True OR isObjectProperty(Ceiling.Material.nonCombustibility)=True ) ( isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=True OR isObjectProperty(CeilingCovering.Material.nonCombustibility)=True ) }