|
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
2994
건축법 시행령 90 조
1항
2호
"2. 높이 31미터를 넘는 각 층의 바닥면적 중 최대 바닥면적이 1천500제곱미터를 넘는 건축물: 1대에 1천500제곱미터를 넘는 3천 제곱미터 이내마다 1대씩 더한 대수 이상"
//건축법 시행령 90조 (비상용 승강기의 설치) 1항2호 Check(EDBA_1_2){ IF CS THEN KS }
Floor myFloor{ getObjectHeight(Floor)>31 m }
CS{ getFloorArea(myFloor)>1500 m2 }
KS{ FA=getFloorArea(myFloor) //FA means floor area IF FA>=4500 m2 THEN {(FA-1500)/3000}+1 < getObjectCount(EmergencyElevator) getObjectCount(EmergencyElevator) < {(FA-1500)/3000}+2 END IF
}
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
2991
건축법 시행령 89 조
"[전문개정 2008.10.29.]"
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
2993
건축법 시행령 90 조
1항
1호
"1. 높이 31미터를 넘는 각 층의 바닥면적 중 최대 바닥면적이 1천500제곱미터 이하인 건축물: 1대 이상"
//건축법 시행령 90조 (비상용 승강기의 설치) 1항 1호 Check(EDBA_90_1_1){ IF CS THEN KS }
CS{ Floor myFloor{ getObjectHeight(myFloor) > 31 m }
getFloorArea(myFloor) <= 1500 m2 }
KS{ isExist(Elevator.isEmergency) = TRUE }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
2994
건축법 시행령 90 조
1항
2호
"2. 높이 31미터를 넘는 각 층의 바닥면적 중 최대 바닥면적이 1천500제곱미터를 넘는 건축물: 1대에 1천500제곱미터를 넘는 3천 제곱미터 이내마다 1대씩 더한 대수 이상"
//건축법 시행령 90조 (비상용 승강기의 설치) 1항2호 Check(EDBA_1_2){ IF CS THEN KS }
Floor myFloor{ getObjectHeight(Floor)>31 m }
CS{ getFloorArea(myFloor)>1500 m2 }
KS{ FA=getFloorArea(myFloor) //FA means floor area IF FA>=4500 m2 THEN {(FA-1500)/3000}+1 < getObjectCount(EmergencyElevator) getObjectCount(EmergencyElevator) < {(FA-1500)/3000}+2 END IF
}
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
2991
건축법 시행령 89 조
"[전문개정 2008.10.29.]"
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
2993
건축법 시행령 90 조
1항
1호
"1. 높이 31미터를 넘는 각 층의 바닥면적 중 최대 바닥면적이 1천500제곱미터 이하인 건축물: 1대 이상"
//건축법 시행령 90조 (비상용 승강기의 설치) 1항 1호 Check(EDBA_90_1_1){ IF CS THEN KS }
CS{ Floor myFloor{ getObjectHeight(myFloor) > 31 m }
getFloorArea(myFloor) <= 1500 m2 }
KS{ isExist(Elevator.isEmergency) = TRUE }
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
2994
건축법 시행령 90 조
1항
2호
"2. 높이 31미터를 넘는 각 층의 바닥면적 중 최대 바닥면적이 1천500제곱미터를 넘는 건축물: 1대에 1천500제곱미터를 넘는 3천 제곱미터 이내마다 1대씩 더한 대수 이상"
//건축법 시행령 90조 (비상용 승강기의 설치) 1항2호 Check(EDBA_1_2){ IF CS THEN KS }
Floor myFloor{ getObjectHeight(Floor)>31 m }
CS{ getFloorArea(myFloor)>1500 m2 }
KS{ FA=getFloorArea(myFloor) //FA means floor area IF FA>=4500 m2 THEN {(FA-1500)/3000}+1 < getObjectCount(EmergencyElevator) getObjectCount(EmergencyElevator) < {(FA-1500)/3000}+2 END IF
}
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
2991
건축법 시행령 89 조
"[전문개정 2008.10.29.]"
|
|
|
|
|
|