1
건축물의 설비기준 등에 관한 규칙 제 10조 2호 나 목
나. 승강장은 각층의 내부와 연결될 수 있도록 하되, 그 출입구(승강로의 출입구를 제외한다)에는 갑종방화문을 설치할 것. 다만, 피난층에는 갑종방화문을 설치하지 아니할 수 있다.
//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 2호 나목
Check(RFB_10_0_2_나){
KS1 AND IF !(CS) THEN KS2
}
Space mySpace{
hasObject(Floor,Space)=TRUE
isAccessible(Platform,Space) = TRUE
}
KS1{
isExist(mySpace)=TRUE
}
CS{
isAccessible(Platform, myFloor) = TRUE
}
KS2{
Door myDoor{
hasSpace(Platform, Door) =TRUE
hasSpace(mySpace, Door) =TRUE
Door != ElevatorShaft .Opening
}
isObjectProperty(myDoor.isStrictFireproofDoor)= TRUE
}
Python Code 변환 예정
2
건축물의 설비기준 등에 관한 규칙 제 10조 3호 가 목
가. 승강로는 당해 건축물의 다른 부분과 내화구조로 구획할 것
//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 3호 가목
Check(RFB_10_0_3_가){
KS
}
KS{
Elevator myElevator{
isObjectProperty(Elevator.isEmergency)=TRUE
}
isObjectProperty(myElevator.ElevatorShaft .isFirePartition)=TRUE
}
Python Code 변환 예정
3
건축물의 설비기준 등에 관한 규칙 제 10조 3호 나 목
나. 각층으로부터 피난층까지 이르는 승강로를 단일구조로 연결하여 설치할 것
//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 3호 나목
Check(RFB_10_0_3_나){
KS
}
KS{
Floor myFloor{
isObjectProperty(Floor.isEscape)=TRUE
}
ElevatorShaft myElevatorShaft 1{
hasObject(Floor,ElevatorShaft )=TRUE
}
ElevatorShaft myElevatorShaft 2{
hasObject(myFloor,ElevatorShaft )=TRUE
}
isConnectedTo(myElevatorShaf1t, myElevatorShaft 2, SingleStructure)=TRUE
}
Python Code 변환 예정
4
건축물의 에너지절약설계기준 제 7조 4호 가 목
가. 틈새바람에 의한 열손실을 방지하기 위하여 외기에 직접 또는 간접으로 면하는 거실 부위에는 기밀성 창 및 문을 사용한다.
// 스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 1호
Check(NFSC103_15_1_1){
KS
}
KS{
getBuildingUsage() = "Stair.Space"
OR getSpaceUsage() = "Ramp"
OR getSpaceUsage() = "Elevator.ElevatorShaft "
OR getSpaceUsage() = "EmergencyElevatorPlatform"
OR getObjectProperty(Duct.isPipeDuct) = TRUE
OR getObjectProperty(Pit.isPipePit) = TRUE
OR getBuildingUsage() = "BathRoom"
OR getBuildingUsage() = "SwimmingPool"
OR getBuildingUsage() = "Toilet"
}
Python Code 변환 예정
5
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 제 30조 2호 가 목
가. 승강로는 해당 건축물의 다른 부분과 내화구조로 구획할 것
// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 2호 가목
Check(REFB_30_0_2_가){
KS
}
KS{
isFireResistantStructure(ElevatorShaft ) =True
}
Python Code 변환 예정
6
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 제 30조 2호 나 목
나. 각 층으로부터 피난층까지 이르는 승강로를 단일구조로 연결하여 설치할 것
// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 2호 나목
Check(REFB_30_0_2_나){
KS
}
KS{
Floor myFloor{
isObjectProperty(Floor.isEscape)=True
}
ElevatorShaft myElevatorShaft 1{
hasObject(Floor,ElevatorShaft )=TRUE
}
ElevatorShaft myElevatorShaft 2{
hasObject(myFloor,ElevatorShaft )=TRUE
isConnectedTo(myElevatorShaf1t, myElevatorShaft 2, SingleStructure)=TRUE
}
Python Code 변환 예정
7
건축법 시행령 제 46조 2 항 3호
3. 계단실부분·복도 또는 승강기의 승강로 부분(해당 승강기의 승강을 위한 승강로비 부분을 포함한다)으로서 그 건축물의 다른 부분과 방화구획으로 구획된 부분
//건축법 시행령 46조 (방화구획의 설치) 2항 3호
check(EDBA_46_2_3){
KS
}
KS{
isObjectProperty(Stair.Space.isFirePartition)=TRUE
OR isObjectProperty(Passage.isFirePartition)=TRUE
OR isObjectProperty(ElevatorShaft .isFirePartition)=TRUE
}
Python Code 변환 예정