|
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14353
옥내소화전설비의 화재안전기준(NFSC 102) 6 조
2항
2호
"2. 다른 부분과 내화구조로 구획된 덕트 또는 피트의 내부에 설치하는 경우"
Check(NFSC102_6_2_2){ KS } KS{ Duct myDcut{ isFireResistantStructure(Duct) = TRUE } isInstalled(Pipe, Duct) = TRUE OR isInstalled(Pipe, Pit.Inside) = TRUE }
|
|
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14354
옥내소화전설비의 화재안전기준(NFSC 102) 6 조
2항
3호
"3.천장(상층이 있는 경우에는 상층바닥의 하단을 포함한다. 이하 같다)과 반자를 불연재료 또는 준불연 재료로 설치하고 그 내부에 습식으로 배관을 설치하는 경우"
// 옥내소화전설비의 화재안전기준(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 }
|