|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1207
건축물의 설비기준 등에 관한 규칙 14 조
2항
"②특별피난계단 및 영 제90조제3항의 규정에 의한 비상용승강기의 승강장에 설치하는 배연설비의 구조는 다음 각호의 기준에 적합하여야 한다. <개정 1996.2.9., 1999.5.11.>"
//건축물의 설비기준 등에 관한 규칙 14조 (배연설비) 2항
Check(RFB_14_2){
IF CS THEN KS
}
CS {
isObjectProperty(Stair.isSpecialEscape)=TRUE
OR isObjectProperty(Elevator.isEmergency)=TRUE
}
KS {
getResult(RFB_14_2_1) = TRUE
getResult(RFB_14_2_4) = TRUE
}
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1208
건축물의 설비기준 등에 관한 규칙 14 조
2항
1호
"1. 배연구 및 배연풍도는 불연재료로 하고, 화재가 발생한 경우 원활하게 배연시킬 수 있는 규모로서 외기 또는 평상시에 사용하지 아니하는 굴뚝에 연결할 것"
//건축물의 설비기준 등에 관한 규칙 14조 (배연설비) 2항1호
Check(RFB_14_2_1){
Duct myDuct{
getObjectProperty(Duct.functionType) = "Exhaust"
}
isObjectProperty(SmokeExhaustionOpening.Material.nonCombustibility) = TRUE
isObjectProperty(myDuct.Material.nonCombustibility) = TRUE
(isConnectedToExternal(SmokeExhaustionOpening) = TRUE
isConnectedToExternal(myDuct) = TRUE)
OR( isConnectedTo(SmokeExhaustionOpening,Chimney) = TRUE
isConnectedTo(myDuct,Chimney) = TRUE)
}
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1211
건축물의 설비기준 등에 관한 규칙 14 조
2항
4호
"4. 배연구가 외기에 접하지 아니하는 경우에는 배연기를 설치할 것"
//건축물의 설비기준 등에 관한 규칙 14조 (배연설비) 2항4호
Check(RFB_14_2_4){
IF isConnectedToExternal(SmokeExhaustionOpening) = FALSE
THEN isExist(SmokeExtractor) = TRUE
}
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1208
건축물의 설비기준 등에 관한 규칙 14 조
2항
1호
"1. 배연구 및 배연풍도는 불연재료로 하고, 화재가 발생한 경우 원활하게 배연시킬 수 있는 규모로서 외기 또는 평상시에 사용하지 아니하는 굴뚝에 연결할 것"
//건축물의 설비기준 등에 관한 규칙 14조 (배연설비) 2항1호
Check(RFB_14_2_1){
Duct myDuct{
getObjectProperty(Duct.functionType) = "Exhaust"
}
isObjectProperty(SmokeExhaustionOpening.Material.nonCombustibility) = TRUE
isObjectProperty(myDuct.Material.nonCombustibility) = TRUE
(isConnectedToExternal(SmokeExhaustionOpening) = TRUE
isConnectedToExternal(myDuct) = TRUE)
OR( isConnectedTo(SmokeExhaustionOpening,Chimney) = TRUE
isConnectedTo(myDuct,Chimney) = TRUE)
}
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1211
건축물의 설비기준 등에 관한 규칙 14 조
2항
4호
"4. 배연구가 외기에 접하지 아니하는 경우에는 배연기를 설치할 것"
//건축물의 설비기준 등에 관한 규칙 14조 (배연설비) 2항4호
Check(RFB_14_2_4){
IF isConnectedToExternal(SmokeExhaustionOpening) = FALSE
THEN isExist(SmokeExtractor) = TRUE
}
|
|