|
|
|
관계유형
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1420
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 13 조
3항
1호
"1. 대피공간의 면적은 지붕 수평투영면적의 10분의 1 이상 일 것"
// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 13조 (헬리포트 및 구조공간 설치 기준) 3항 1호
Check (REFB_13_3_1){
KS
}
KS{
Space mySpace{
isObjectProperty(Space.isEscape) = TRUE
}
mySpace.area > Roof.horizontalProjectionArea*0.1
}
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1421
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 13 조
3항
2호
"2. 특별피난계단 또는 피난계단과 연결되도록 할 것"
//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 13조 (헬리포트 및 구조공간 설치 기준) 3항 2호
Check(REFB_13_3_2){
KS
}
KS{
Stair myStair {
isObjectProperty(Stair.isEscape)=True
}
Stair myStair2 {
isObjectProperty(Stair.isSpecialEscape)=True
}
Space mySpace{
isObjectProperty(Space.isEscape) = TRUE
}
isConnected(mySpace, myStair )=True
OR isConnected(mySpace, myStair2 )=True
}
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1422
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 13 조
3항
3호
"3. 출입구ㆍ창문을 제외한 부분은 해당 건축물의 다른 부분과 내화구조의 바닥 및 벽으로 구획할 것"
// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 13조 (헬리포트 및 구조공간 설치 기준) 3항 3호
Check(REFB_13_3_3){
KS
}
KS{
Space mySpace{
isObjectProperty(Space.isEscape) = TRUE
}
isFirePartition(mySpace)=True
}
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1423
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 13 조
3항
4호
"4. 출입구는 유효너비 0.9미터 이상으로 하고, 그 출입구에는 갑종방화문을 설치할 것"
// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 13조 (헬리포트 및 구조공간 설치 기준) 3항 4호
Check(REFB_13_3_4){
KS
}
KS{
isObjectProperty(Door.isEntrance)=True
getObjectProperty( myDoor.effectiveWidth) > 0.9 m
isObjectProperty(Door.isStrictFireproofDoor)=True
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1424
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 13 조
3항
5호
"5. 내부마감재료는 불연재료로 할 것"
// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 13조 (헬리포트 및 구조공간 설치 기준) 3항 5호
Check(REFB_13_3_5){
KS
}
KS{
Space mySpace{
isObjectProperty(Space.isEscape) = TRUE
}
isObjectProperty(mySpace.InteriorFinish.Material.nonCombustibility)=True
}
|