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