|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1429
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 14 조
1항
1호
"1. 10층 이하의 층은 바닥면적 1천제곱미터(스프링클러 기타 이와 유사한 자동식 소화설비를 설치한 경우에는 바닥면적 3천제곱미터)이내마다 구획할 것"
//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 14조 (방화구획의 설치) 1항1호
check(REFB_14_1_1){KS
}
KS{
Floor myFloor{
Floor.number>=10
}
IF (
isExist(SprinklerSystem)=TRUE
isObjectProperty(ExtinguishingSystem.isAutomatic) = TRUE
)
(
isFirePartition(myFloor, 3000)=TRUE
OR isFirePartition(myFloor, a, 1000)=TRUE
)
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1430
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 14 조
1항
2호
"2. 3층 이상의 층과 지하층은 층마다 구획할 것. 다만, 지하 1층에서 지상으로 직접 연결하는 경사로 부위는 제외한다."
//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 14조 (방화구획의 설치) 1항2호
check(REFB_14_1_2){
IF CS THEN KS
}
KS{
Floor myFloor {
Floor.number>=3
AND Floor.number<0
}
isObjectProperty(myFloor.isFirePartition)=TRUE
}
CS{
Ramp myRamp{
isGoThrough(getFloor(Floor.number=-1),Ramp,Ground)=TRUE
}
isObjectProperty(myRamp.isFirePartition)=FALSE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1431
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 14 조
1항
3호
"3. 11층 이상의 층은 바닥면적 200제곱미터(스프링클러 기타 이와 유사한 자동식 소화설비를 설치한 경우에는 600제곱미터)이내마다 구획할 것. 다만, 벽 및 반자의 실내에 접하는 부분의 마감을 불연재료로 한 경우에는 바닥면적 500제곱미터(스프링클러 기타 이와 유사한 자동식 소화설비를 설치한 경우에는 1천500제곱미터)이내마다 구획하여야 한다."
//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 14조 (방화구획의설치) 1항3호
check(REFB_14_1_3){
KS2 AND IF CS THEN KS
}
Floor myFloor {
getFloorNumebr()>= 11
}
KS2{
isFirepartition(myFloor,200)=TRUE
OR
((isExist(SprinklerSystem) = TRUE
OR isObjectProperty(ExtinguishingSystem.isAutomatic) = TRUE)
AND isFirepartition(myFloor,600)=TRUE)
}
CS1 {
isObjectProperty(Space.InteriorFinish.Material.nonCombustibility)=TRUE
}
KS1 {
isFirepartition(myFloor,500)=TRUE
OR
((isExist(SprinklerSystem) = TRUE
OR isObjectProperty(ExtinguishingSystem.isAutomatic) = TRUE)
AND isFirepartition(myFloor,1500)=TRUE)
}
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
