//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 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
}
|
Python Code 변환 예정
|