|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1592
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30 조
2호
나목
"나. 각 층으로부터 피난층까지 이르는 승강로를 단일구조로 연결하여 설치할 것"
// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 2호 나목
Check(REFB_30_0_2_나){
KS
}
KS{
Floor myFloor{
isObjectProperty(Floor.isEscape)=True
}
ElevatorShaft myElevatorShaft1{
hasObject(Floor,ElevatorShaft)=TRUE
}
ElevatorShaft myElevatorShaft2{
hasObject(myFloor,ElevatorShaft)=TRUE
isConnectedTo(myElevatorShaf1t, myElevatorShaft2, SingleStructure)=TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1593
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30 조
2호
다목
"다. 승강로 상부에 「건축물의 설비기준 등에 관한 규칙」 제14조에 따른 배연설비를 설치할 것"
// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 2호 다목
check(REFB_30_0_2_다){
KS
}
KS{
isInstalled(Opening.TopSurface, SmokeExhaustionSystem)
getResult(RFB_14) = TRUE
}
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
