|
|
|
관계유형
|
|
|
|
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
}
|