|
|
|
|
관계유형
|
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1369
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9 조
2항
2호
가목
"가. 계단은 그 계단으로 통하는 출입구외의 창문등(망이 들어 있는 유리의 붙박이창으로서 그 면적이 각각 1제곱미터 이하인 것을 제외한다)으로부터 2미터 이상의 거리를 두고 설치할 것"
//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 2호 가목
check(REFB_9_2_2_1){
IF (CS) THEN KS
}
CS {
Opening myOpening1{ getObjectProperty(Opening.material)= “WireContainedGlass”
getObjectProperty(Window.panelOperationType)= “FixedSashWindow”
getObjectProperty(Opening.area)=< 1㎡
}
Door myDoor {
isAccessible(Stair, Door)=TRUE
}
Opening myOpening2{
getObject(Opening) != myOpening1
getObject(Opening) != myDoor
}
isExist(myOpening2) = TRUE
}
KS{
getElementDistance(Stair, myOpening2, a)>=2m;
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1370
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9 조
2항
2호
나목
"나. 건축물의 내부에서 계단으로 통하는 출입구에는 제26조에 따른 갑종방화문을 설치할 것"
//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 2호 나목
check(REFB_9_2_2_2){
IF (CS) THEN KS
}
CS {
Space mySpace{
isExternal(Space)=FALSE
}
Door myDoor{
isGoThrough(mySpace,Door,Stair) = TRUE
}
isExist(myDoor) = TRUE
}
KS {
isObjectProperty(myDoor.strictFireproofDoor) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1371
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9 조
2항
2호
다목
"다. 계단의 유효너비는 0.9미터 이상으로 할 것"
//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 2호 다목
check(REFB_9_2_3){
KS
}
KS {
getObjectProperty(Stair.effectiveWidth)>= 0.9m
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1372
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9 조
2항
2호
라목
"라. 계단은 내화구조로 하고 지상까지 직접 연결되도록 할 것"
//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항 2호 라목
check(REFB_9_2_2_4){
KS
}
KS {
isObjectProperty(Stair.isFireResistantStructure) = TRUE
isAccessible(Stair, Ground)= TRUE
}
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
